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

Mathematical Logic
by Stephen G. Simpson

Publisher: Pennsylvania State University 2013
Number of pages: 128

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)