Metamathematics of first-order arithmetic

Bibliographic Information

Metamathematics of first-order arithmetic

Petr Hájek, Pavel Pudlák

(Perspectives in mathematical logic)

Springer-Verlag, c1993

  • : gw : softcover
  • : us

Available at  / 47 libraries

Search this Book/Journal

Note

Includes bibliographical references (p. [409]-453) and indexes

Related Books: 1-1 of 1

Details

  • NCID
    BA1935661X
  • ISBN
    • 354063648X
    • 0387506322
  • LCCN
    92021885
  • Country Code
    gw
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Berlin ; New York
  • Pages/Volumes
    xiv, 460 p.
  • Size
    25 cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top