-
1
-
2
-
3
-
4
Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Godel
Publicado em 1964Livro -
5
-
6
-
7