Detalls del llibre
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 für Mathematik und Ihre Grenzgebiete, 781.1994.
Llegir més - Autors Pavel Pudlak, Petr Hájek
- ISBN13 9783540636489
- ISBN10 354063648X
- Fecha de publicación 08/05/2026
Ressenyes i valoracions
Metamathematics of first-order arithmetic
- De
- Pavel Pudlak, Petr Hájek
- |
- SPRINGER (2026)
- 9783540636489



