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