"The deduction theorem for Łukasiewicz many-valued propisitional calculi", "Studia Logica" T.15 (1964) : [recenzja]

Studia Philosophiae Christianae, Tom 1, Numer 1 (1965) s. 282
, W.A. Pogorzelski (aut. dzieła rec.)