C 329.776
Meze formalizace, analytičnosti a prostoročasu / [Tomáš] Čana ... [et al. ; k vydání připravil Vladimír Havlík]. -- Vyd. 1. -- Praha : Filosofia, 2007. -- ISBN : 978-80-7007-268-4 (brož.).
Čaňa, Tomáš, 1973-. Havlík, Vladimír, 1961-. Filosofický ústav (Akademie věd ČR)
Gödel, Kurt, 1906-1978 * matematická logika * filozofie matematiky * analytická filozofie * sborníky konferencí
510.6. 510.21. 1:167.2. (062.534)