Incompleteness and ComputabilityManuale sui teoremi di incompletezza di Gödel e sulla teoria della computabilità, sviluppato per il corso di Logica III di Calgary, basato sull'Open Logic Project.Copre la teoria delle funzioni ricorsive, l'aritmetizzazione della sintassi, il primo e il secondo teorema di incompletezza, modelli di aritmetica, logica del secondo ordine e lambda calcolo.#mathematics #computation https://ic.openlogicproject.org/