Elementy logiki formalnej - Greniewski, Henryk (Państwowe Wydawnictwo Naukowe, 1955)