Perspectives in Logic

Metamathematics of First-Order Arithmetic

Petr Hájek and Pavel Pudlák

Book information

Authors
Petr Hájek and Pavel Pudlák

Publication information
Perspectives in Mathematical Logic, Volume 3
Berlin: Springer-Verlag, 1998
460 pp.

Dates
Publication date: 1998
First available online in Project Euclid: 23 February 2009

Permanent link to this book
http://projecteuclid.org/euclid.pl/1235421926

Mathematical Reviews (MathSciNet):
MR1748522

Subjects
Primary: O3F3O

Rights
Copyright © 1998, Association for Symbolic Logic

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

Select/deselect all
  • Export citations
Select/deselect all
  • Export citations