Metamathematics of first-order arithmetic

Author(s)

• Hájek, Petr
• Pudlák, Pavel

Bibliographic Information

Metamathematics of first-order arithmetic

Petr Hájek, Pavel Pudlák

（Perspectives in logic）

Association for Symbolic Logic : Cambridge University Press, c2016

Note

Includes bibliographical references and index

"First edition c1998 Springer-Verlag Berlin Heidelberg--T.p. verso

• NCID: BB24122047
• ISBN:
  • 9781107168411
• LCCN: 2015004107
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: xiv, 460 p.
• Size: 25 cm
• Parent Bibliography ID:
  • BA90341523