- The Role of Notations in Mathematics.Carlo Cellucci - 2020 - Philosophia 48 (4):1397-1412.details
|
|
Are Uniqueness and Deducibility of Identicals the Same?Alberto Naibo & Mattia Petrolo - 2014 - Theoria 81 (2):143-181.details
|
|
Frank Ramsey and the Realistic Spirit.Steven Methven - 2014 - London and Basingstoke: Palgrave Macmillan.details
|
|
Guest Editor’s Introduction: JvH100. [REVIEW]Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):249-267.details
|
|
Proceeding in Abstraction. From Concepts to Types and the recent perspective on Information.Giuseppe Primiero - 2009 - History and Philosophy of Logic 30 (3):257-282.details
|
|
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.details
|
|
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
Jean van Heijenoort’s Contributions to Proof Theory and Its History.Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):411-458.details
|
|
Gödel's functional interpretation and its use in current mathematics.Ulrich Kohlenbach - 2008 - Dialectica 62 (2):223–267.details
|
|
Probability semantics for quantifier logic.Theodore Hailperin - 2000 - Journal of Philosophical Logic 29 (2):207-239.details
|
|
The development of intuitionistic logic.Mark van Atten - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Herbrand semantics, the potential infinite, and ontology-free logic.Theodore Hailperin - 1992 - History and Philosophy of Logic 13 (1):69-90.details
|
|
Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.details
|
|
A compact representation of proofs.Dale A. Miller - 1987 - Studia Logica 46 (4):347 - 370.details
|
|