• RecordNumber
    45971
  • LC Class
    QA
  • LC Number
    9.6
  • LC CutterNumber
    .K53
  • LC Date
    1978
  • Author

    Kleene Symposium (1978 : University of Wisconsin, Madison)

  • Title

    The Kleene Symposium

  • Author Statement
    edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
  • Publication
    North-Holland Pub. Co.
  • Publication Year
    1980
  • Collation
    xx, 425 p. : ill. ; 23 cm
  • Series
    Studies in logic and the foundations of mathematics
  • Subject

    Kleene, Stephen Cole,1909- , Recursion theory , Intuitionistic mathematics

  • ADDED ENTRIES
    Barwise, Jon , ,
  • DocumentNumber
    54999
  • SubTitle
    proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
  • Index
    Includes bibliographies and index
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=45971&Field=0&DTC=100