Matematická logika pre začiatočníkov. - Varga, Tamás (Polytechnická knižnica, 1970)