Matematická logika pre začiatočníkov. - Varga, Tamás (Alfa, vydavateľstvo technickej a ekonomickej literatúry, 1970)