Matematikai logika [egyetemi jegyzet] - Csirmaz László; Hajnal András (Bp. ELTE, 1993)