Umfang:
1 Online-Ressource (xx, 425 p.)
,
ill
,
23 cm
Ausgabe:
Online-Ausgabe Elsevier e-book collection on ScienceDirect Sonstige Standardnummer des Gesamttitels: 041169-3
ISBN:
0444853456
,
9780444853455
Serie:
Studies in logic and the foundations of mathematics 101
Anmerkung:
Includes bibliographical references
Weitere Ausg.:
Reproduktion von The Kleene Symposium 1980
Sprache:
Englisch
Fachgebiete:
Mathematik
,
Philosophie
Schlagwort(e):
Rekursionstheorie
;
Intuitionistische Logik
;
Intuitionistische Mathematik
;
Konferenzschrift
;
Konferenzschrift
;
Festschrift
Mehr zum Autor:
Barwise, Jon 1942-2000
Bookmarklink