Matematická logika pre začiatočnikov. - Varga, Tamás, 1919-1987 (Alfa, 1970)