• RecordNumber
    23948
  • LC Class
    QA
  • LC Number
    3
  • LC CutterNumber
    .L28,no.
  • LC Date
    212
  • Dewey Class
    511
  • Dewey Date
    /.3
  • Author

    Scarpellini, Bruno

  • Title

    Proof theory and intuitionistic systems

  • Publication
    Springer-Verlag
  • Publication Year
    1971
  • Collation
    vii, 290, [1] p., 26 cm
  • Series
    Lecture notes in mathematics, 212
  • Subject

    Intuitionistic mathematics,Proof theory

  • Holding Info.
    354005541
  • DocumentNumber
    5513
  • Biblography
    Bibliography: p. [291]
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=23948&Field=0&DTC=100