• RecordNumber
    23947
  • LC Class
    QA
  • LC Number
    9.54
  • LC CutterNumber
    .T34
  • LC Date
    1987
  • Dewey Class
    511
  • Dewey Date
    .3
  • Author

    Takeuti, Gaisi, 1926-

  • Title

    Proof theory

  • Author Statement
    Gaisi Takeuti
  • Edition
    2nd ed
  • Publication
    North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co
  • Publication Year
    1987
  • Collation
    x, 490 p.; 23 cm
  • Series
    Studies in logic and the foundations of mathematics ; v. 81
  • Notes
    Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968,Includes index
  • Subject

    Proof theory

  • Holding Info.
    0444879439
  • DocumentNumber
    23995
  • Biblography
    Bibliography: p. 481-485
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=23947&Field=0&DTC=100