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