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."
| Autorius: | Petr Hájek, Pavel Pudlák, |
| Leidėjas: | Cambridge University Press |
| Išleidimo metai: | 2017 |
| Knygos puslapių skaičius: | 476 |
| ISBN-10: | 1107168414 |
| ISBN-13: | 9781107168411 |
| Formatas: | Knyga kietu viršeliu |
| Kalba: | Anglų |
| Žanras: | Mathematical logic |
Parašykite atsiliepimą apie „Metamathematics of First-Order Arithmetic“
