Progetto:Matematica/Testi sulla logica matematica

In questa pagina vengono elencati testi (prevalentemente libri) riguardanti argomenti della logica matematica. Essa riguarda tendenzialmente testi che afferiscono alla sezione 03-XX dello schema di classificazione Mathematics Subject Classification, (MSC).

• A. G. Hamilton (1988): Logic for Mathematicians, Cambridge University Press, ISBN 0-521-36865-0
• George Boolos, Richard Jeffrey (1989): Computability and Logic, 3rd edition, Cambridge University Press, ISBN 0521007585
• Elliott Mendelson (1997): Introduction to Mathematical Logic, 4th edition, Chapman & Hall, ISBN 0412808307
• Wilfrid Hodges (1997): A shorter model theory, Cambridge University Press, ISBN 0-521-58713-1
• Anne Sjerp Troelstra, H. Schwichtenberg (2000): Basic Proof Theory, 2nd edition, Cambridge University Press. ISBN 0521779111
• Vilnis Detlovs, Karlis Podnieks (2000): Introduction to Mathematical Logic (Ipertesto introduttivo)
• Francesco Berto (2008): Logica da zero a Gödel, Editore Laterza, ISBN 9788842081937 (nuova edizione 2016 ISBN 9788842086345)

Voci correlate

• Logica
• 03-XX sigla della sezione della MSC dedicata alla logica matematica e ai fondamenti della matematica.
• Elenchi di testi matematici