- Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.details
|
|
On malfunctioning software.Giuseppe Primiero, Nir Fresco & Luciano Floridi - 2015 - Synthese 192 (4):1199-1220.details
|
|
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers.Leslie Lamport - 2003 - Addison-Wesley.details
|
|
Relevance Logic.Michael Dunn & Greg Restall - 1983 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
(1 other version)Scientific representation.Mauricio Suárez - 2010 - Philosophy Compass 5 (1):91-101.details
|
|
The sciences of the artificial.Herbert Alexander Simon - 1969 - [Cambridge,: M.I.T. Press.details
|
|
(1 other version)Models in Science (2nd edition).Roman Frigg & Stephan Hartmann - 2021 - The Stanford Encyclopedia of Philosophy.details
|
|
Structural representation and surrogative reasoning.Chris Swoyer - 1991 - Synthese 87 (3):449 - 508.details
|
|
How models are used to represent reality.Ronald N. Giere - 2004 - Philosophy of Science 71 (5):742-752.details
|
|
Computing mechanisms.Gualtiero Piccinini - 2007 - Philosophy of Science 74 (4):501-526.details
|
|
(1 other version)Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions. Amsterdam,: North Holland. pp. 92-130.details
|
|
(1 other version)The Philosophy of Computer Science.Raymond Turner & Amnon H. Eden - 2008 - Journal of Applied Logic 6 (4):459.details
|
|
(1 other version)The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.details
|
|
Exploring a Mechanistic Approach to Experimentation in Computing.Eric Hatleback & Jonathan M. Spring - 2014 - Philosophy and Technology 27 (3):441-459.details
|
|
Relevant logic: a philosophical examination of inference.Stephen Read - 1988 - Oxford: Blackwell.details
|
|
Relevant logic: a philosophical examination of inference.Stephen Read - 1988 - New York, NY, USA: Blackwell.details
|
|
A Machine-Oriented Logic based on the Resolution Principle.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (3):515-516.details
|
|
Discovering Complexity: Decomposition and Localization as Strategies in Scientific Research.William Bechtel & Robert C. Richardson - 2010 - Princeton.details
|
|
The logic of bunched implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.details
|
|
What is a mechanism? Thinking about mechanisms across the sciences.Phyllis Illari & Jon Williamson - 2012 - European Journal for Philosophy of Science 2 (1):119-135.details
|
|
Relevant Logic : a Philosophical Examination of Inference.Stephen Read - 1988 - Revue Philosophique de la France Et de l'Etranger 179 (4):656-656.details
|
|
On the Ternary Relation and Conditionality.Jc Beall, Ross T. Brady, J. Michael Dunn, A. P. Hazen, Edwin D. Mares, Robert K. Meyer, Graham Priest, Greg Restall, David Ripley, John Slaney & Richard Sylvan - 2012 - Journal of Philosophical Logic 41 (3):595 - 612.details
|
|
Program verification: the very idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.details
|
|
Computing and Experiments: A Methodological View on the Debate on the Scientific Nature of Computing.Viola Schiaffonati & Mario Verdicchio - 2014 - Philosophy and Technology 27 (3):359-376.details
|
|
Logic and structure.D. van Dalen - 1980 - New York: Springer Verlag.details
|
|
Scientific representation: A long journey from pragmatics to pragmatics: Bas C. van Fraassen: Scientific representation: Paradoxes of perspective. Oxford: Clarendon Press, 2008, xiv+408pp, £35.00 HB. [REVIEW]James Ladyman, Otávio Bueno, Mauricio Suárez & Bas C. van Fraassen - 2010 - Metascience 20 (3):417-442.details
|
|