-
21
-
22
-
23
-
24
-
25
-
26
-
27
The Foundations of intuitionistic mathematics especially in relation to recursive functions
Veröffentlicht 1965Buch -
28
-
29
-
30
Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Godel
Veröffentlicht 1964Buch