Gödelův důkaz /

Autor Nagel, Ernest, 1901-1985, Newman, James Roy, 1907-1966
Vydáno 2003

Neúplnost : důkaz a paradox Kurta Gödela /

Autor Goldstein, Rebecca, 1950-
Vydáno 2006

Meze formalizace, analytičnosti a prostoročasu /

Autor Čaňa, Tomáš, 1973-
Vydáno 2007

Filosofie čísla : základy logiky a aritmetiky v zrcadle analytické filosofie /

Autor Kolman, Vojtěch, 1975-
Vydáno 2008

Východisla z 3. krize matematiky intuicionismus /

Autor Brabcová, Kateřina
Vydáno 1996

Na okraji rozumu : život Kurta Gödela /

Autor Budiansky, Stephen, 1957-
Vydáno 2023