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