This is a monograph on the metamathematics of first order arithmetic. The primary readership is active researchers and graduate students in mathematical logic, in particular those specializing in theories of the natural numbers. The middle part of the book on incompleteness may be of interest to philosophers. The last part, on computational complexity, has applications to computer science.
Reihe
Auflage
Softcover reprint of the original 1st ed. 1993
Sprache
Verlagsort
Verlagsgruppe
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Research
Illustrationen
1
1 s/w Abbildung
XIV, 460 p. 1 illus.
Maße
Höhe: 235 mm
Breite: 155 mm
Dicke: 26 mm
Gewicht
ISBN-13
978-3-540-63648-9 (9783540636489)
DOI
10.1007/978-3-662-22156-3
Schweitzer Klassifikation
Preliminaries.- A.- I: Arithmetic as Number Theory, Set Theory and Logic.- II: Fragments and Combinatorics.- B.- III: Self-Reference.- IV: Models of Fragments of Arithmetic.- C.- V: Bounded Arithmetic.- Bibliographical Remarks and Further Reading.- Index of Terms.- Index of Symbols.
