An Introduction to Mathematical Logic

An Introduction to Mathematical Logic
by Wolfram Pohlers, Thomas Glass

1992
Number of pages: 229

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