Klasická matematická logika. - Sochor, Antonín (Karolinum, 2001)