Matematikai logika : - Janos, Urban (Muszaki Konyvkiado, 1987)