Introduction to Mathematical Logic

Auteur: Hodel, Richard E.
Editeur: Dover Publications Inc.
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.
Sur commande
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.
ISBN / EAN 9780486497853
Auteur Hodel, Richard E.
Editeur Dover Publications Inc.