Metamathematics of First-Order Arithmetic
| Autor: | Hajek, Petr Pudlak, Pavel |
|---|---|
| EAN: | 9783540636489 |
| Sachgruppe: | Mathematik |
| Sprache: | Englisch |
| Seitenzahl: | 476 |
| Produktart: | Kartoniert / Broschiert |
| Veröffentlichungsdatum: | 17.03.1998 |
139,09 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
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.
Weitere Produkte vom selben Autor