Edward Nieznański, Formalizacja tomistycznych podstaw dowodu na istnienie Koniecznego Bytu Pierwszego, Studia Philosophiae Christianae, 1979, 15, 1, s. 163-180