Title: A matematikai logika alapjai
Subjects: Symbolic and mathematical Logic