Matematická logika - Mareš, Jan, 1944- (České vysoké učení technické, 2009)
Na obálce nad názvem: České vysoké učení technické v Praze, Fakulta jaderná a fyzikálně inženýrská