Zaklady matematicke logiky : učební text pro výzkumné pracovníky. Díl 1 - Hájek, Petr, 1940-2016 (Dům techniky Československé vědeckotechnické společnosti, 1966)