Format:
Online-Ressource (xx, 425 p)
,
ill
,
23 cm
Edition:
Online-Ausg. 2009 Elsevier e-book collection on ScienceDirect Electronic reproduction; Mode of access: World Wide Web
ISBN:
0444853456
,
9780444853455
Series Statement:
Studies in logic and the foundations of mathematics v. 101
Note:
Includes bibliographical references
,
Electronic reproduction; Mode of access: World Wide Web
,
English
Additional Edition:
ISBN 0444853456
Additional Edition:
Print version Kleene Symposium
Additional Edition:
Erscheint auch als Druck-Ausgabe Kleene Symposium (1978 : Madison, Wis.) The Kleene Symposium Amsterdam [usw.] : North-Holland Publ. Co., 1980 ISBN 0444853456
Language:
English
Subjects:
Mathematics
,
Philosophy
Keywords:
Rekursionstheorie
;
Intuitionistische Mathematik
;
Intuitionistische Mathematik
;
Rekursionstheorie
;
Intuitionistische Logik
;
Rekursionstheorie
;
Intuitionistische Logik
;
Konferenzschrift
;
Festschrift
Bookmarklink