• RecordNumber
    18524
  • LC Class
    QA
  • LC Number
    248
  • LC CutterNumber
    .H23
  • Dewey Class
    513
  • Dewey Date
    /.01
  • Author

    Hajek, Petr

  • Title

    Metamathematics of first-order arithmetic

  • Author Statement
    Petr Hajek, Pavel Pudlak
  • Publication
    Springer-Verlag
  • Publication Year
    v1993
  • Collation
    xiv, 460 p.; 25 cm
  • Series
    Perspectives in mathematical logic
  • Subject

    Arithmetic- Foundations

  • ADDED ENTRIES
    Pudlak, Pavel, 1952-
  • Holding Info.
    3540506322
  • DocumentNumber
    24905
  • Biblography
    Includes bibliographical references (p. [409]-453) and indexes
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=18524&Field=0&DTC=100