Klasická matematická logika - Sochor, Antonín, 1942-2008 (Karolinum, 2001)
Keywords: matematická logika