Matematická logika pre začiatočníkov. Zv.2 - Varga, Tomáš (Alfa, 1970)