"Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy. Brno, Czech Republic, August 1996, Proceedings (Lecture Notes in Logic)" - читать интересную книгу автора (Petr Hajek)