@Article{387336, author = "Piotr Chojnacki", title = "Aksjomatyzacja i formalizowanie dedukcji i zastosowanie do ontologii", year = 1953, volume = 24, number = 1-4, journal = Collectanea Theologica, pages = s. 5-29, }