Matematická logika pre začiatočníkov - Varga, Tamás (Alfa, 1970)