Matematická logika - Štěpánek, Petr, iný (Universita Karlova, 1982)