Models and Computability
Thomas J. Grilliot. Selection functions for recursive functionals. Notre Dame journal of formal logic, vol. 10 (1969), pp. 225–234. | The Journal of Symbolic Logic | Cambridge Core
Arnon AVRON, Ph.D.
NOTRE DAME JOURNAL OF FORMAL LOGIC
The Cognitive Ontogenesis of Predicate Logic
Notre Dame Journal of Formal Logic
140 Notre Dame Journal of Formal Logic Volume IV, Number 2, April 1963 NOTE ON COPΓS SYSTEM GERALD J. MASSEY Chapter Seven of r
Gerald J. Massey. Note on Copi's system. Notre Dame journal of formal logic, vol. 4 (1963), pp. 140–141. - John Thomas Canty. Completeness of Copi's method of deduction. Notre Dame journal of
GÖDEL'S NOTRE DAME COURSE
Untitled
Duke University Press - Notre Dame Journal of Formal Logic
NOTRE DAME JOURNAL OF FORMAL LOGIC
University of Notre Dame - Wikipedia
Notre Dame Journal of Formal Logic
SOME THOMIST REFLECTIONS ON THE FOUNDATIONS OF FORMAL LOGIC JOSEPH J. SIKORA S. J. The divergence of thought between traditional
University of Notre Dame - Wikiwand
Duke University Press - Notre Dame Journal of Formal Logic
Back Matter
NOTRE DAME JOURNAL OF FORMAL LOGIC
Duke University Press - Notre Dame Journal of Formal Logic
Duke University Press - Notre Dame Journal of Formal Logic
