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

An Introduction to Mathematical Logic

An Introduction to Mathematical Logic
by Wolfram Pohlers, Thomas Glass

Number of pages: 229

This text treats pure logic and in this connection introduces to basic proof-theoretic techniques. In the second part fundamentals of model theory and in the third part those of recursion theory are dealt with. Furthermore, some extensions of first order logic are treated. Finally, axiom systems for number theory are introduced and Godel's theorems are proved.

Home page url

Download or read it online here:

Download link

 (1.3MB, PS)