Elementy logiki formalnej - Borkowski, Ludwik (Warszawa : Państwowe Wydawnictwo Naukowe, 1980)