, "The deduction theorem: przegląd twierdzeń o dedukcji dla rachunku zdań : schemat twierdzeń dla rachunku zdań", "Studia Logica" T.15 (1964) : [recenzja], Studia Philosophiae Christianae, 1965, 1, 1, s. 282