- Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Kurt Gödel and Computability Theory.Richard Zach - 2006 - In Beckmann Arnold, Berger Ulrich, Löwe Benedikt & Tucker John V. (eds.), Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea. Proceedings. Springer. pp. 575--583.details
|
|
(2 other versions)Step by recursive step: Church's analysis of effective calculability.Wilfried Sieg - 1997 - Bulletin of Symbolic Logic 3 (2):154-180.details
|
|
Proving church's thesis.Robert Black - 2000 - Philosophia Mathematica 8 (3):244--58.details
|
|
Louis Joly as a Platonist Painter?Roger Pouivet - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 337--341.details
|
|
Diagonalisation and Church's Thesis: Kleene's Homework.Enrique Alonso & Maria Manzano - 2005 - History and Philosophy of Logic 26 (2):93-113.details
|
|
The mathematical work of S. C. Kleene.J. R. Shoenfield & S. C. Kleene - 1995 - Bulletin of Symbolic Logic 1 (1):8-43.details
|
|
The impact of the lambda calculus in logic and computer science.Henk Barendregt - 1997 - Bulletin of Symbolic Logic 3 (2):181-215.details
|
|
What is categorical structuralism?Geoffrey Hellman - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 151--161.details
|
|
Arrow’s impossibility theorem as a special case of Nash equilibrium: a cognitive approach to the theory of collective decision-making.Andrea Oliva & Edgardo Bucciarelli - 2020 - Mind and Society 19 (1):15-41.details
|
|
Frege’s Habilitationsschrift: Magnitude, Number and the Problems of Computability.Juan Luis Gastaldi - unknowndetails
|
|
Alonzo church:his life, his work and some of his miracles.Maía Manzano - 1997 - History and Philosophy of Logic 18 (4):211-232.details
|
|
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today.Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.) - 2006 - Dordrecht, Netherland: Springer.details
|
|
Frameworks, models, and case studies: a new methodology for studying conceptual change in science and philosophy.Matteo De Benedetto - 2022 - Dissertation, Ludwig Maximilians Universität, Münchendetails
|
|
Reasoning, logic and computation.Stewart Shapiro - 1995 - Philosophia Mathematica 3 (1):31-51.details
|
|