Journal Article
Input-Dependence in Function-Learning
Sanjay Jain, Eric Martin and Frank Stephan
Theory of Computing Systems, 2009, Volume 45, Number 4, Pages 849-864
Book Chapter
A setting for generalized computability
G. Germano and S. Mazzanti
Lecture Notes in Computer Science, 1987, Volume 270, Computation Theory and Logic, Pages 154-165
Journal Article
Are Turing Machines Platonists? Inferentialism and the Computational Theory of Mind
Jon Cogburn and Jason Megil
Minds and Machines, 2010, Volume 20, Number 3, Pages 423-439
Book Chapter
Inductive definitions and subsystems of analysis
S. Feferman and W. Sieg
Lecture Notes in Mathematics, 1981, Volume 897, Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies, Pages 16-77
Book Chapter
Effectiveness
Stewart Shapiro
2006, The Age of Alternative Logics, Part I, Pages 37-49
Journal Article
‘As if’ Reasoning in Vaihinger and Pasch
Stephen Pollard
Erkenntnis, 2010, Volume 73, Number 1, Pages 83-95
Book Chapter
Do We have the Right Limitative Theorems?
A. Hazen
The Western Ontario Series in Philosophy of Science, 1, Volume 69, A logical Approach to Philosophy, Pages 128-150
Book Chapter
Provably recursive programs and program extraction
Tim Fernando
Lecture Notes in Computer Science, 1991, Volume 510, Automata, Languages and Programming, Pages 303-313
Journal Article
First-Order Reasoning and Primitive Recursive Natural Number Notations
David Isles
Studia Logica, 2010, Volume 96, Number 1, Pages 49-64
Book Chapter
Effective numberings, completions, and control structures
Lecture Notes in Computer Science, 1987, Volume 273, A Connotational Theory of Program Structure, Pages 42-70