• RecordNumber
    10918
  • LC Class
    QA
  • LC Number
    9.56
  • LC CutterNumber
    .B44
  • Dewey Class
    511
  • Dewey Date
    .3
  • Author

    Beeson, Michael J., 1945-

  • Title

    Foundations of constructive mathematics

  • Author Statement
    Michael J. Beeson
  • Publication
    Springer-Verlag
  • Publication Year
    c1985
  • Collation
    xxiii, 466 p.: ill.; 25 cm
  • Series
    Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3. Folge, Bd. 6
  • Subject

    Constructive mathematics

  • Holding Info.
    0387121730
  • DocumentNumber
    24876
  • SubTitle
    : metamathematical studies
  • Index
    Includes indexes
  • Biblography
    Bibliography: p. [439]-449
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=10918&Field=0&DTC=100