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