Fundamentals of mathematical logic
Auteur :
Hinman, Peter G.
Éditeur :
Taylor & Francis Inc
ISBN :
9781568812625
Date de publication :
9 sept. 2005
Dimensions :
22,9 x 15,2 cm
Poids :
1224 g
Langue :
Anglais
Pays d'origine :
USA
Covering modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. The book is appropriate for use as a classroom text, for self-study, and as a reference on the state of modern logic.