Logika matematyczna - Słupecki, Jerzy, 1904-1987; Hałkowska, Katarzyna; Piróg-Rzepecka, Krystyna (Warszawa : Państwowe Wydawnictvo Naukowe, 1976)