Metamathematics of First-Order Arithmetic

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

139,09 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Beschreibung

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.

Zusammenfassung

Inhaltsverzeichnis

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.

Details

Erscheinungsjahr:	1998
Fachbereich:	Grundlagen
Genre:	Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Reihe:	Perspectives in Mathematical Logic
Inhalt:	xiv 460 S. 1 s/w Illustr. 460 p. 1 illus.
ISBN-13:	9783540636489
ISBN-10:	354063648X
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Hajek, Petr Pudlak, Pavel
Auflage:	Softcover reprint of the original 1st edition 1993
Hersteller:	Springer Springer Vieweg Springer-Verlag GmbH Perspectives in Mathematical Logic
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	235 x 155 x 26 mm
Von/Mit:	Petr Hajek (u. a.)
Erscheinungsdatum:	17.03.1998
Gewicht:	0,715 kg