Metamathematics of First-Order Arithmetic
| Autor: | Hájek, Petr Pudlák, Pavel |
|---|---|
| EAN: | 9781107168411 |
| Sachgruppe: | Mathematik |
| Sprache: | Englisch |
| Seitenzahl: | 476 |
| Produktart: | Gebunden |
| Veröffentlichungsdatum: | 15.02.2017 |
163,30 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
From the reviews: ..."This work is a very important contribution to the logical literature. It gives a survey of an incredible number of results and methods in the foundations of arithmetic, presented in a clear and systematic way. It will certainly be highly appreciated by specialists working in the field." "Mathematical Reviews, " USA 1994 ..."It is really a highly interesting book - a survey of a large amount of results presented in a systematic and clear way. It will serve as a source of information for those who want to learn meta-mathematics of first-order arithmetic as well as a reference book for people working in this field." "Zentralblatt fur Mathematik und Ihre Grenzgebiete," 781.1994."
Weitere Produkte vom selben Autor