Format:
1 Online-Ressource (xx, 425 p.)
,
ill
,
23 cm
Edition:
Online-Ausgabe Elsevier e-book collection on ScienceDirect Sonstige Standardnummer des Gesamttitels: 041169-3
ISBN:
0444853456
,
9780444853455
Series Statement:
Studies in logic and the foundations of mathematics 101
Note:
Includes bibliographical references
Additional Edition:
Reproduktion von The Kleene Symposium 1980
Language:
English
Subjects:
Mathematics
,
Philosophy
Keywords:
Rekursionstheorie
;
Intuitionistische Logik
;
Intuitionistische Mathematik
;
Konferenzschrift
;
Konferenzschrift
;
Festschrift
Author information:
Barwise, Jon 1942-2000
Bookmarklink