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