Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Andrzej Mostowski
Bok Engelsk 1952
Utgitt | Amsterdam : North-Holland , 1952
|
---|---|
Omfang | VIII, 117 s.
|
Emner |
Utgitt | Amsterdam : North-Holland , 1952
|
---|---|
Omfang | VIII, 117 s.
|
Emner |