Elementy logiki formalnej / Henryk Greniewski. - Greniewski, Henryk (1903-1972) (Państwowe Wydawnictwo Naukowe, 1955)