LOGICA MATEMATICA - Parte "Algoritmi"
prima parte  (la formalizzazione del concetto di algoritmo)
  1introduzione; 2programmi di Turing-Post, tesi di Church; 3macchine a registri; 4calcolo equazionale; 5funzioni ricorsive
seconda parte  (il problema della fermata)
  6equivalenze, sottoprogrammi ricorsivi; 7i codici, il programma/calcolatore universale; 8indecidibilità dell'halting problem
terza parte  (semantica e sintassi, 1º teo. di incompletezza, indecidibilitÓ del calcolo dei predicati)
  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  ("storia", collegamenti, 2º teorema di incompletezza)
  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).