Wiesław Gawlik, Zagadnienie symbolicznej interpretacji logiki tradycyjnej, Collectanea Theologica, 1950-1951, 22, 1-4, s. 118-157