Matematika 35. Matematická logika - Jirásko, Josef (České vysoké učení technické v Praze, 1997)