Gödel's proof - Nagel, Ernest, 1901-1985; Newman, James Roy, 1907-1966; Hofstadter, Douglas R., 1945- (New York ; London : New York University Press, 2001)
Obsahuje bibliografii a rejstřík
Keywords: matematická logika; Gödelovy věty; monografie; mathematical logic; Gödel’s theorems; monographs