• RecordNumber
    9930
  • LC Class
    QA
  • LC Number
    3
  • LC CutterNumber
    .L28,no.
  • LC Date
    306
  • Dewey Class
    510
  • Dewey CutterNumber
    /.8 s 511
  • Dewey Date
    /.3
  • Author

    Luckhardt, Horst

  • Title

    Extensional Godel functional interpretation;

  • Publication
    Springer-Verlag
  • Publication Year
    1973
  • Collation
    vi, 161 p., 26 cm
  • Series
    Lecture notes in mathematics, 306
  • Subject

    Proof theory,Intuitionistic mathematics

  • Holding Info.
    0387061193
  • DocumentNumber
    8154
  • SubTitle
    a consistency proof of classical analysis
  • Biblography
    Bibliography: p. 157-161.
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=9930&Field=0&DTC=100