Metamathematics of First-Order Arithmetic - Hájek, Petr; Pudlák, Pavel
149,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
  • Gebundenes Buch

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…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
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."
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Autorenporträt
Petr Hájek works in the Institute of Computer Science at the Academy of Sciences of the Czech Republic, Prague.