J. Kent Minichiello. An extension of negationless logic. Notre Dame journal of formal logic, vol. 10 no. 3 (1969), pp. 298–302. | The Journal of Symbolic Logic | Cambridge Core
Item: 1 of 1 Return to headlines Select alternative format: BibTeX ASCII MR1858241 (2002f:03045) Zolin, Evgeni E. (RS-MOSCM-ML)
Finite model property of modal logics of finite depth
NOTRE DAME JOURNAL OF FORMAL LOGIC
The Cognitive Ontogenesis of Predicate Logic
Untitled
Duke University Press - Notre Dame Journal of Formal Logic
Arnon AVRON, Ph.D.
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
Duke University Press - Notre Dame Journal of Formal Logic
models of PA | Joel David Hamkins
Joel David Hamkins // Faculty // Department of Philosophy // University of Notre Dame
PDF) Four-valued Logic
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
Untitled
Literaturverzeichnis
Notre Dame Journal of Formal Logic | University of Notre Dame
Logic - Wikipedia
GÖDEL'S NOTRE DAME COURSE
University of Notre Dame - Wikipedia
Complete publications of A. Pillay, in chronological order (a) Papers [1] Number of countable models, Journal of Symbolic Logic,
Notre Dame Journal of Formal Logic; Volume X, No. 1; January 1969: Sobocinski, Bolestaw (editor): Amazon.com: Books
NOTRE DAME JOURNAL OF FORMAL LOGIC
