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 in Project Euclid: 23 February 2009

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

ISBN:
3-540-63648-X

Mathematical Reviews (MathSciNet):
MR1748522

Subjects
Primary: O3F3O C3H15 C3D15 68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.) [See also 03D15, 68Q17, 68Q19] 11U09: Model theory [See also 03Cxx] 11U10: Nonstandard arithmetic [See also 03H15]

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