LOGICA MATEMATICA - Parte "Algoritmi"
prima parte
  1introduzione; 2programmi di Turing-Post, tesi di Church; 3macchine a registri; 4calcolo equazionale; 5funzioni ricorsive
seconda parte
  6equivalenze, sottoprogrammi ricorsivi; 7i codici, il programma/calcolatore universale; 8indecidibilità dell'halting problem
terza parte
  9calcolo dei predicati; assiomatizzabilità, decidibilità, completezza; teo. di incompl. di Turing-Gödel; 10macchine di Turing; 11problemi di parole; 12indecidibilità del calcolo dei predicati
quarta parte
  13retrospettiva storica: l'aritmetizzazione dell'analisi, 14matematica classica, teoria degli insiemi, 15matematica costruttiva, 16collegamenti con altre aree matematiche, teorema di Chaitin-Gödel.
17altri esercizi

La logica matematica su WikiPedia (in lingua inglese).