Opening book details…
Can I read Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic) on EtoBox?
Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic) by Petr Hajek, Pavel Pudlak, Petr Hájek is a mathematics available to read on EtoBox.
What is Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic) about?
People have always been interested in numbers, in particular the natural numbers. Of course, we all have an intuitive notion of what these numbers are. In the late 19th century mathematicians, such as Grassmann, Frege and Dedekind, gave definitions for these familiar objects. Since then the development of axiomatic schemes for arithmetic have played a fundamental role in a logical understanding of mathematics. There has been a need for some time for a monograph on the metamathematics of first-or
Who reads Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Petr Hajek, Pavel Pudlak, Petr Hájek
- Publisher
- Springer Spektrum. in Springer-Verlag GmbH
- Published
- 1998
- Language
- EN
- ISBN
- 9783540636489
- Category
- mathematics
- Subjects
- Mathematics, Philosophy, Science
- Updated
- 2026-03-24
Other editions & translations
More by Petr Hajek, Pavel Pudlak, Petr Hájek
Browse all works by Petr Hajek, Pavel Pudlak, Petr Hájek
Similar books
- Subsystems Of Second Order Arithmetic (perspectives In Mathematical Logic) — Stephen G. Simpson (1999)
- First Order Mathematical Logic (Dover Books on Mathematics) — Angelo Margaris (1990)
- Metamathematics of Fuzzy Logic (Trends in Logic (4)) — Petr Hájek (2001)
- Constructibility (Perspectives in Mathematical Logic) — K. J. Devlin, Keith J. (1984)
- Mathematical Logic (Addison-Wesley Series in Logic) — Joseph Robert Shoenfield (1967)
- A Survey of Mathematical Logic — Hao WANG (1963)