Matematická logika - Demlová, Marie; Pondělníček, Bedřich (České vysoké učení technické v Praze, 1997)