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