Title: Meze formalizace, analytičnosti a prostoročasu
Subjects: Congresses, Symbolic and mathematical Logic, Incompleteness theorems, Proof theory
People: Kurt Gödel