Úvod do matematické logiky - Binder, Jiří (Státní pedagogické nakladatelství, 1983)