Notre Dame Journal of Formal Logic; Volume X, No. 1; January 1969: Sobocinski, Bolestaw (editor): Amazon.com: Books
Arnon AVRON, Ph.D.
Untitled
models of PA | Joel David Hamkins
Untitled
Models and Computability
Item: 1 of 1 Return to headlines Select alternative format: BibTeX ASCII MR1858241 (2002f:03045) Zolin, Evgeni E. (RS-MOSCM-ML)
Duke University Press - Notre Dame Journal of Formal Logic
Finite model property of modal logics of finite depth
Duke University Press - Notre Dame Journal of Formal Logic
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
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
Joel David Hamkins // Faculty // Department of Philosophy // University of Notre Dame
NOTRE DAME JOURNAL OF FORMAL LOGIC
NOTRE DAME JOURNAL OF FORMAL LOGIC
NOTRE DAME JOURNAL OF FORMAL LOGIC
The Cognitive Ontogenesis of Predicate Logic
Notre Dame Journal of Formal Logic | University of Notre Dame
Literaturverzeichnis
