Godel's theorem.
Overview
Works: | 2 works in 2 publications in 2 languages |
---|
Titles
Sentences undecidable in formalized arithmetic = an exposition of the theory of Kurt Godel /
by:
(Language materials, printed)