Gödel '96 : logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy : Brno, Czech Republic, August 1996 : proceedings - Hájek, Petr, 1940-2016 (Springer, 1996)
V názvu na titulní straně chybně uvedeno Bruno