- Systems of logic based on ordinals..Alan Turing - 1939 - London,: Printed by C.F. Hodgson & son.details
|
|
Fact, Fiction, and Forecast.Nelson Goodman - 1965 - Cambridge, Mass.: Harvard University Press.details
|
|
Philosophical aspects of program verification.James H. Fetzer - 1991 - Minds and Machines 1 (2):197-216.details
|
|
Turing's o-machines, Searle, Penrose, and the brain.Jack Copeland - 1998 - Analysis 58 (2):128-138.details
|
|
Software, Abstraction, and Ontology.Timothy R. Colburn - 1999 - The Monist 82 (1):3-19.details
|
|
Is the church-Turing thesis true?Carol E. Cleland - 1993 - Minds and Machines 3 (3):283-312.details
|
|
Effective procedures and computable functions.Carole E. Cleland - 1995 - Minds and Machines 5 (1):9-23.details
|
|
Fact, Fiction, and Forecast.Nelson Goodman - 1955 - Philosophy 31 (118):268-269.details
|
|
Program verification: the very idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.details
|
|
Wittgenstein on rules and private language.Saul A. Kripke - 1982 - Revue Philosophique de la France Et de l'Etranger 173 (4):496-499.details
|
|