Research Catalog

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen.

Title
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen.
Author
Kleene Symposium (1978 : University of Wisconsin--Madison)
Publication
Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA9.6 .K53 1978Off-site

Details

Additional Authors
  • Barwise, Jon.
  • Keisler, H. Jerome.
  • Kleene, Stephen Cole, 1909-
  • Kleene, Stephen Cole, 1909-1994.
  • Kunen, Kenneth.
Description
xx, 425 p. : ill.; 23 cm.
Series Statement
Studies in logic and the foundations of mathematics ; v. 101
Uniform Title
Studies in logic and the foundations of mathematics v. 101.
Subject
  • Intuitionistic mathematics > Congresses
  • Kleene, Stephen Cole, 1909-
  • Kleene, Stephen Cole, 1909-1994
  • Recursion theory > Congresses
Bibliography (note)
  • Includes bibliographies.
Processing Action (note)
  • committed to retain
ISBN
0444853456
LCCN
^^^79020792^
Owning Institutions
Harvard Library