Matematikai logika [egyetemi jegyzet] - Csirmaz László (ELTE, 1993)