- Thinking Things Through.Clark Glymour - unknowndetails
|
|
(3 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
|
|
(1 other version)La Logique de Leibniz.Louis Couturat - 1901 - Revue de Métaphysique et de Morale 9 (5):6-7.details
|
|
Heterogeneous logic.Jon Barwise & John Etchemendy - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical reasoning with diagrams. New York: Oxford University Press.details
|
|
Review: A. N. Kolmogorov, V. A. Uspenskij, On the Definition of an Algorithm. [REVIEW]Elliott Mendelson - 1973 - Journal of Symbolic Logic 38 (4):655-655.details
|
|
(3 other versions)Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 1980 - New York: 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
|
|
Computers, justification, and mathematical knowledge.Konstantine Arkoudas & Selmer Bringsjord - 2007 - Minds and Machines 17 (2):185-202.details
|
|
The OBO Foundry: Coordinated evolution of ontologies to support biomedical data integration.Barry Smith, Michael Ashburner, Cornelius Rosse, Jonathan Bard, William Bug, Werner Ceusters, Louis J. Goldberg, Karen Eilbeck, Amelia Ireland, Christopher J. Mungall, Neocles Leontis, Philippe Rocca-Serra, Alan Ruttenberg, Susanna-Assunta Sansone, Richard H. Scheuermann, Nigam Shah, Patricia L. Whetzel & Suzanna Lewis - 2007 - Nature Biotechnology 25 (11):1251-1255.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
|
|
The Axiomatic Method in Biology. [REVIEW]Kurt Edward Rosinger - 1938 - Journal of Philosophy 35 (10):273-274.details
|
|
In Defense of the Unprovability of the Church-Turing Thesis.Selmer Bringsjord - unknowndetails
|
|
Extensions of first order logic.María Manzano - 1996 - New York: Cambridge University Press.details
|
|
A logic road from special relativity to general relativity.Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely - 2012 - Synthese 186 (3):633 - 649.details
|
|
The Axiomatic Method in Biology.J. H. Woodger, Alfred Tarski & W. F. Floyd - 1937 - The University Press.details
|
|
Vivid: A framework for heterogeneous problem solving.Konstantine Arkoudas & Selmer Bringsjord - 2009 - Artificial Intelligence 173 (15):1367-1405.details
|
|