
Metamathematics of First-Order Arithmetic
Authors: Hajek, Petr, Pudlak, Pavel
Buy this book
- About this book
-
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.
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Metamathematics of First-Order Arithmetic
- Authors
-
- Petr Hajek
- Pavel Pudlak
- Series Title
- Perspectives in Mathematical Logic
- Copyright
- 1993
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- Softcover ISBN
- 978-3-540-63648-9
- Series ISSN
- 0172-6641
- Edition Number
- 1
- Number of Pages
- XIV, 460
- Number of Illustrations
- 1 b/w illustrations
- Topics