• RecordNumber
    45966
  • LC Class
    QA
  • LC Number
    9.56
  • LC CutterNumber
    .L2
  • LC Date
    1981
  • Author

    L.E.J. Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands)

  • Title

    The L.E.J. Brouwer Centenary Symposium

  • Author Statement
    edited by A.S. Troelstra and D. van Dalen
  • Publication
    North-Holland Pub. Co.
  • Publication Year
    1982
  • Collation
    ix, 523 p. ; 23 cm.
  • Series
    Studies in logic and the foundations of mathematics
  • Subject

    Brouwer, L. E. J.1881-1966 , Constructive mathematics , Intuitionistic mathematics

  • ADDED ENTRIES
    Troelstra, A. S , ,
  • DocumentNumber
    54994
  • SubTitle
    proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
  • Index
    Includes bibliographies and index
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=45966&Field=0&DTC=100