Matematická logika - Trlifajová, Kateřina, 1959-; Vašata, Daniel (České vysoké učení technické, 2013)