Matematikai logika kezdőknek - Varga Tamás (1966)