Matematická logika - Štěpánek, Petr (Státní pedagogické nakladatelství, 1982)