Piotr Chojnacki, Aksjomatyzacja i formalizowanie dedukcji i zastosowanie do ontologii, Collectanea Theologica, 1953, 24, 1-4, s. 5-29