• RecordNumber
    46171
  • LC Class
    QA
  • LC Number
    9
  • LC CutterNumber
    .K648
  • Author

    Kleene, Stephen Cole, 1909-

  • Title

    The foundations of intuitionistic mathematics

  • Author Statement
    [by] Stephen Cole Kleene [and] Richard Eugene Vesley
  • Publication
    North-Holland Pub. Co.
  • Collation
    viii, 206 p.: ill.; 23 cm
  • Series
    Studies in logic and the foundations of mathematics
  • Subject

    Intuitionistic mathematics , Recursive functions

  • ADDED ENTRIES
    Vesley, Richard Eugene ,
  • SubTitle
    especially in relation to recursive functions
  • Index
    "Bibliography, by S. C. Kleene": p. [187]-199
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=46171&Field=0&DTC=100