• RecordNumber
    41388
  • Author

    Scarpellini, Bruno

  • Title

    Proof theory and intuitionistic systems

  • Author Statement
    Bruno Scarpellini
  • Publication
    Springer
  • Publication Year
    1971
  • Collation
    vii, 290 p
  • Series
    Lecture notes in mathematics, 212
  • Bibliography
    Bibliography:P. 291
  • Subject

    Intuitionistic mathematics , Proof theory

  • ADDED ENTRIES
    ^dSeries: Lecture notes in mathematics, 212
  • Main Class
    511
  • Sub Class
    .3
  • Cutter no
    S286p
  • وارد كنندة اطلاعات
    fazel^d// , khodaei^d2003/08/25 10:27:24
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=41388&Field=0&DTC=2