• RecordNumber
    2027
  • Author

    Hjek, Petr

  • Title

    Metamathematics of first-order arithmetic

  • Author Statement
    Petr Hjek, Pavel Pudlk
  • Publication
    Springer-Verlag
  • Publication Year
    c1993
  • Collation
    xiv, 212 p.; ill
  • Series
    Perspectives in mathematical logic
  • Notes
    Includes bibliographical references (p. [409]-453) and indexes.
  • Subject

    Arithmetic - Foundations

  • ADDED ENTRIES
    Pudlk, Pavel , ,
  • LC Class
    QA
  • LC Number
    248
  • LC CutterNumber
    .H23M2
  • LC Date
    1993
    • Link To Document
    https://math.iranlibs.ir/dl/search/default.aspx?Term=2027&Field=0&DTC=2