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