• RecordNumber
    18522
  • LC Class
    QA
  • LC Number
    3
  • LC CutterNumber
    .L28,no.
  • LC Date
    344
  • Dewey Class
    510
  • Dewey CutterNumber
    /.8 s
  • Author

    Troelstra, Anne Sjerp

  • Title

    Metamathematical investigation of intuitionistic arithmetic and analysis

  • Author Statement
    [by] A. S. Troelstra (ed.)
  • Publication
    Springer
  • Publication Year
    1973
  • Collation
    xvii, 486 p. ill. 24 cm
  • Series
    Lecture notes in mathematics, 344
  • Subject

    Intuitionistic mathematics,Proof theory,Model theory

  • ADDED ENTRIES
    Series:Lecture notes in mathematics (Springer-Verlag) ; 344
  • Holding Info.
    0387064915
  • DocumentNumber
    23640
  • Biblography
    Bibliography: p. [462]-475
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=18522&Field=0&DTC=100