• RecordNumber
    21779
  • Author

    Bridges, Douglas S. , Bridges, Douglas S.

  • Title

    Varieties of constructive mathematics

  • Author Statement
    Douglas Bridges [and] Fred Richman
  • Publication
    Cambridge U. P. , Cambridge U. P.
  • Publication Year
    1988, C.1987
  • Collation
    x, 149P.
  • Series
    London Mathematical Society lecture note series; 97
  • Notes
    Includes bibliographies , ISBN: 0-521-31802-5
  • Subject

    Constructive mathematics

  • ADDED ENTRIES
    Richman, Fred , ,
  • LC Class
    QA
  • LC Number
    9.56
  • LC CutterNumber
    .B75
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=21779&Field=0&DTC=2