- The basic works of Aristotle. Aristotle - 1941 - New York: Modern Library. Edited by Richard McKeon.details
|
|
(1 other version)Cognitive Carpentry: A Blueprint for how to Build a Person.John L. Pollock - 1995 - MIT Press.details
|
|
Computational Artifacts: Towards a Philosophy of Computer Science.Raymond Turner - 2018 - Springer Berlin Heidelberg.details
|
|
(1 other version)Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.details
|
|
(2 other versions)Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 1974 - Cambridge, England: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.details
|
|
Mathematical logic.Heinz-Dieter Ebbinghaus - 1996 - New York: Springer. Edited by Jörg Flum & Wolfgang Thomas.details
|
|
(1 other version)Logic machines and diagrams.Martin Gardner - 1982 - Chicago: University of Chicago Press.details
|
|
Philosophy of Computer Science.William J. Rapaport - 2005 - Teaching Philosophy 28 (4):319-341.details
|
|
Aristotle's Logic.Robin Smith - 2007 - Stanford Encyclopedia of Philosophy.details
|
|
Computers, justification, and mathematical knowledge.Konstantine Arkoudas & Selmer Bringsjord - 2007 - Minds and Machines 17 (2):185-202.details
|
|
(1 other version)The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.details
|
|
Three paradigms of computer science.Amnon H. Eden - 2007 - Minds and Machines 17 (2):135-167.details
|
|
(1 other version)The Philosophy of Computer Science.Raymond Turner & Amnon H. Eden - 2008 - Journal of Applied Logic 6 (4):459.details
|
|
Computable models.Raymond Turner - 2009 - London: Springer.details
|
|
Immaterial aspects of thought.James Ross - 1992 - Journal of Philosophy 89 (3):136-150.details
|
|
When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science.Liesbeth De Mol & Giuseppe Primiero - 2015 - History and Philosophy of Logic 36 (3):195-204.details
|
|
A Vindication of Program Verification.Selmer Bringsjord - 2015 - History and Philosophy of Logic 36 (3):262-277.details
|
|
The Basic Works of Aristotle. [REVIEW]E. A. M. - 1941 - Journal of Philosophy 38 (20):553-555.details
|
|
Automated Reasoning. Introduction and Applications.Larry Wos, Ross Overbeek, Ewing Lusk & Jim Boyle - 1986 - Journal of Symbolic Logic 51 (2):464-465.details
|
|
A New Logical Machine.Allan Marquand - 1886 - American Academy of Arts and Sciences.details
|
|