Wiesław Gawlik, Zagadnienie symbolicznej interpretacji logiki tradycyjnej, Collectanea Theologica, 1952, 23, 1-2, s. 31-65