Fachbereich Mathematik und Informatik

Suchen
Institut fü Mathematische Logik und Grundlagenforschung
Einsteinstraße 62
48149 Münster
Tel.: +49-251-83-33 790
Fax: +49-251-83-33 078
pfeifer@math.uni-muenster.de

Startseite des Instituts
Startseite Mathematik und Informatik
Startseite
Universität Münster

Kontakt
Impressum
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.


Logik Mathe WWU übergeordnetes Verzeichnis
Betreuung der Logikseiten
Erzeugungsdatum: Thu Jul 3 16:28:34 MEST 2003

zurückblättern

Diese Seite:  :: Seite drucken   :: Seite empfehlen  :: Seite kommentieren

© FB 10 Mathematik und Informatik

© FB 10 Mathematik und Informatik der Universität Münster
Einsteinstrasse 62 · 48149 Münster
Tel.: +49 251 83-3 30 16 · Fax: +49 251 83-3 83 50
E-Mail: mathdek@math.uni-muenster.de