Gödel 1931 : gnoseologická revoluce v matematice a exaktních vědách - Včelař, František, 1962-; Kubica, Hynek, 1963-; Zelinka, Ivan, 1965- (BEN - technická literatura, 2009)
Keywords: Gödel, Kurt, -- 1906-1978; kolektivní monografie; collective monographs; 1931; matematika -- 20. století; filozofie matematiky; matematická logika; matematické důkazy; mathematics -- 20th century; philosophy of mathematics; mathematical logic; mathematical proofs