Progetto:Matematica/Testi sulla logica matematica
Vai alla navigazione
Vai alla ricerca
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
[modifica wikitesto]- Logica
- 03-XX sigla della sezione della MSC dedicata alla logica matematica e ai fondamenti della matematica.
- Elenchi di testi matematici