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