• RecordNumber
    23945
  • LC Class
    QA
  • LC Number
    9.54
  • LC CutterNumber
    .S3813
  • Dewey Class
    511
  • Dewey Date
    /.3
  • Author

    Schutte, Kurt

  • Title

    Proof theory

  • Author Statement
    Kurt Schutte ; translation from the German by J. N. Crossley
  • Publication
    Springer-Verlag
  • Collation
    xii, 302 p. ; 25 cm
  • Series
    Grundlehren der mathematischen Wissenschaften ; 225
  • Notes
    Translation of Beweistheorie
  • Subject

    Proof theory

  • Holding Info.
    0387079114
  • DocumentNumber
    5514
  • Index
    Includes index.
  • Biblography
    Bibliography: p. [293]-296.
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=23945&Field=0&DTC=100