Welcome to E-Books Directory
This is a freely downloadable e-book.
Mathematical Logic by Stephen G. Simpson
Read this book online or download it here for free
by Stephen G. Simpson
Publisher: Pennsylvania State University 2008
Number of pages: 127
This is a course of Mathematical Logic for all mathematics graduate students. The text covers the propositional calculus, the predicate calculus, proof systems for propositional and predicate calculus, extensions of the predicate calculus, theories, definability, interpretability, arithmetization and incompleteness.