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