| Teoremi di Goedel. Prima parte Provider: university of bologna digital library Language: Italian |
| Mathematics for Computer Science Provider: mit opencourseware Language: English |
| Mathematics for Computer Science Provider: mit opencourseware Language: English |
| Knowledge-Based Applications Systems Provider: mit opencourseware Language: English |
| Overview of Automated Reasoning Provider: videolectures.net Language: English |
| A Concise Introduction to Logic Provider: ecampusontario open library Language: English |
| Logica del primo ordine v.1 Provider: university of bologna digital library Language: Italian |
| Principles of Computer Systems Provider: mit opencourseware Language: English |
| Intelligenza Artificiale: Appunti per un’Introduzione Provider: university of bologna digital library Language: Italian |
| Epistemologia dell'IA Provider: university of bologna digital library Language: Italian |