Gödel's incompleteness theorems
Raymond M. Smullyan
Bok Engelsk 1992 · Lærebøker
| Utgitt | New York : Oxford University Press , 1992
|
|---|---|
| Omfang | xiii, 139 s.
|
| Emner | Gödel's theorem
Aritmetikk Beviser Bevisteori Vis mer... Gödels teorem
Gödels ufullstendighetsteoremer Logikk Symbolsk logikk Teoremer Teori Ufullstendighetsteoremer symbolsk logikk proof theory ufullstendighetsteoremer teoremer bevisteori matematisk aksiomatisering aritmetikk lærebøker gødels teorem gödels |
| Sjanger | |
| ISBN | 0195046722
|
