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