Format:
VII, 147 S. :
,
graph. Darst.
Edition:
Rev. ed.
Series Statement:
Annals of mathematics studies 47
Note:
Zugl.: Princeton, NJ, Univ., Diss., 1959
Additional Edition:
Erscheint auch als Online-Ausgabe ISBN 978-1-4008-8200-7
Language:
English
Subjects:
Philosophy
Keywords:
Rekursivität
;
Mathematische Logik
;
Entscheidbarkeit
;
Rekursive Funktion
;
Theorie
;
Hochschulschrift
;
Formales System
;
Hochschulschrift
;
Formales System
Author information:
Smullyan, Raymond M. 1919-2017
Bookmarklink