Introduction to mathematical logic
Auteur :
Mendelson, Elliott
Éditeur :
Taylor & Francis Ltd
ISBN :
9781032919140
Date de publication :
14 oct. 2024
Dimensions :
23,4 x 15,6 cm
Poids :
780 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This bestselling, classic textbook continues to provide a complete one-semester introduction to mathematical logic. The sixth edition incorporates recent work on Gödel’s second incompleteness theorem as well as an appendix on consistency proofs for first-order arithmetic. It also offers historical perspectives and many new exercises of varying d