Testi sulla logica matematica
Da Wikipedia, l'enciclopedia libera.
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). L'elenco viene compilato pensando che esso possa servire, in particolare, per segnalare le opere che sarebbe bene fossero presenti in una biblioteca pubblica di buon livello.
- 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)
- Diego Filotto (2005): Dalla grammatica alla logica, Armando Edizioni, ISBN 88-8358-715-4
[modifica] Voci correlate
- Logica
- Fondamenti della matematica
- 03-XX sigla della sezione della MSC dedicata alla logica matematica e ai fondamenti della matematica
- Storia della logica matematica
- Elenchi di testi matematici
