Logika formalna : systemy logiczne : wstęp do metalogiki / Ludwik Borkowski. - Borkowski, Ludwik (1914-1993) (Państwowe Wydawnictwo Naukowe, 1977)