Perspectives in Logic

Chapter I: Arithmetic as Number Theory, Set Theory and Logic

Full-text: Open access

Chapter information

Source
Petr Hájek, Pavel Pudlák, Metamathematics of First-Order Arithmetic, 2nd printing (Berlin: Springer-Verlag, 1998), 27-109

Dates
First available in Project Euclid: 23 February 2009

Permanent link to this document
https://projecteuclid.org/euclid.pl/1235421930

Rights
Copyright © 1998, Association for Symbolic Logic

Citation

Hájek, Petr; Pudlák, Pavel. Chapter I: Arithmetic as Number Theory, Set Theory and Logic. Metamathematics of First-Order Arithmetic, 27--109, Springer-Verlag, Berlin, 1998. https://projecteuclid.org/euclid.pl/1235421930


Export citation