Matematikai logika kezdöknek 1 - Varga, Tamás (Tankönyvkiadó, 1964)