Reset Filters
Circulation Type: In-Library Use Only

Cover is for reference only

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /

Saved in:
Bibliographic Details
Corporate Authors: Kleene Symposium Madison, Wis; Elsevier Science & Technology
Group Author: Kleene, Stephen Cole, 1909-1994; Barwise, Jon; Keisler, H. Jerome; Kunen, Kenneth
Published: North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier North-Holland,
Publisher Address: Amsterdam ; New York : New York :
Publication Dates: 1980.
Literature type: eBook
Language: English
Series: Studies in logic and the foundations of mathematics ; v. 101
Subjects:
Kleene, Stephen Cole, > 1909-1994
Recursion theory > Congresses
Intuitionistic mathematics > Congresses
Re cursivite , The orie de la > Congre s
Mathe matiques intuitionnistes > Congre s
Intuitionistic mathematics
Recursion theory
Intui tionisme
Recursieve functies
Electronic books
Conference papers and proceedings
Online Access: http://www.sciencedirect.com/science/bookseries/0049237X/101
Carrier Form: 1 online resource (xx, 425 pages) : illustrations.
Bibliography: Includes bibliographical references.
ISBN: 9780444853455
0444853456
Index Number: QA9
CLC: O141.3-532

Related Book Recommendations