• RecordNumber
    45947
  • LC Class
    QA
  • LC Number
    9.56
  • LC CutterNumber
    .T74
  • Author

    Troelstra, A. S

  • Title

    Constructivism in mathematics

  • Author Statement
    A.S. Troelstra, D. van Dalen
  • Publication
    North-Holland ;Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
  • Publication Year
    1988
  • Collation
    2 v. (xx, 879, lii p.) : ill. ; 23 cm
  • Series
    Studies in logic and the foundations of mathematics
  • Subject

    Constructive mathematics

  • ADDED ENTRIES
    Dalen, D. van , ,
  • DocumentNumber
    54977
  • SubTitle
    an introduction
  • Index
    Includes bibliographies and indexes
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=45947&Field=0&DTC=100