Welcome to E-Books Directory
This is a freely downloadable e-book.

Home >> Mathematics >> Pure Mathematics >> Logic

Mathematical Logic
by Stephen G. Simpson

Publisher: Pennsylvania State University 2008
Number of pages: 127

Description:
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.

Home page url

 Download or read it online here:

Download link

 (700KB, PDF)