Introduction to mathematical logic
Auteur :
Hodel, Richard E.
Éditeur :
Dover Publications Inc.
ISBN :
9780486497853
Date de publication :
31 mars 2013
Dimensions :
23,5 x 15,6 x 15,5 cm
Poids :
644 g
Langue :
Anglais
Pays d'origine :
USA
Comprehensive overview, suitable for advanced undergraduates and graduate students, covers propositional logic; first-order languages and logic; incompleteness, undecidability, and indefinability; recursive functions; computability; and Hilbert's Tenth Problem. 1995 edition.