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