Metamathematics of First-Order Arithmeticby Petr Hajek, Pavel Pudlak
Pub. Date: 01/01/1993
Publisher: Springer-Verlag New York, LLC
The development of axiomatic schemes for arithmetic have played a fundamental role in the logical understanding of mathematics. This book covers the most important results in the first order theory of the natural numbers, called Peano arithmetic. These results will be important for all those interested in mathematical logic or computational complexity.
- Springer-Verlag New York, LLC
- Publication date:
- Product dimensions:
- 9.21(w) x 6.14(h) x 1.00(d)
Table of Contents
Preliminaries.- A.- I: Arithmetic as Number Theory, Set Theory and Logic.- II: Fragments and Combinatorics.- B.- III: Self-Reference.- IV: Models of Fragments of Arithmetic.- C.- V: Bounded Arithmetic.- Bibliographical Remarks and Further Reading.- Index of Terms.- Index of Symbols.
and post it to your social network
Most Helpful Customer Reviews
See all customer reviews >