• RecordNumber
    23946
  • LC Class
    QA
  • LC Number
    9.54
  • LC CutterNumber
    .T34
  • LC Date
    1975
  • Dewey Class
    511
  • Dewey Date
    /.3
  • Author

    Takeuti, Gaisi, 1926-

  • Title

    Proof theory

  • Author Statement
    Gaisi Takeuti
  • Publication
    North-Holland Pub. Co. ;
  • Publication Year
    1975
  • Collation
    vii, 372 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 in the summer of 1968
  • Subject

    Proof theory

  • Holding Info.
    0444104925
  • DocumentNumber
    5515
  • Index
    Includes index.
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=23946&Field=0&DTC=100