An Introduction to Mathematical Logic
An Introduction to Mathematical Logic
File: PS-File (1296 KB)
File: gzipped PS-File (398 KB)
Author: Wolfram Pohlers & Thomas Glaß
Title: An Introduction to Mathematical Logic
Kind: Lecture
Year: 1992
Pages: vi+220
Abstract:
The text is a slightly extended version of an introductory course
to mathematical logic taught at Münster several times. It 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 Gödel's theorems are proved.
Betreuung der Logikseiten
Erzeugungsdatum: Thu Jul 3 16:28:34 MEST 2003
|
