- La descente infinie, l’induction transfinie et le tiers exclu.Yvon Gauthier - 2009 - Dialogue 48 (1):1.details
|
|
Too simple solutions of hard problems.Peter M. Schuster - 2010 - Nordic Journal of Philosophical Logic 6 (2):138-146.details
|
|
Structures and Logics: A Case for (a) Relativism.Stewart Shapiro - 2014 - Erkenntnis 79 (S2):309-329.details
|
|
Proof theory and computer programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.details
|
|
Proof theory and computer programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):389-414.details
|
|
Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Mathematical Logic Quarterly 37 (9‐12):149-166.details
|
|
Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):149-166.details
|
|
Betting your life on an algorithm.Daniel C. Dennett - 1990 - Behavioral and Brain Sciences 13 (4):660-661.details
|
|
Is mathematical insight algorithmic?Martin Davis - 1990 - Behavioral and Brain Sciences 13 (4):659-660.details
|
|
Building infinite machines.E. B. Davies - 2001 - British Journal for the Philosophy of Science 52 (4):671-682.details
|
|
Semigroups with apartness.Siniša Crvenković, Melanija Mitrović & Daniel Abraham Romano - 2013 - Mathematical Logic Quarterly 59 (6):407-414.details
|
|
Philosophical reflections on the foundations of mathematics.Jocelyne Couture & Joachim Lambek - 1991 - Erkenntnis 34 (2):187 - 209.details
|
|
Formal topologies on the set of first-order formulae.Thierry Coquand, Sara Sadocco, Giovanni Sambin & Jan M. Smith - 2000 - Journal of Symbolic Logic 65 (3):1183-1192.details
|
|
Computing the thinkable.David J. Chalmers - 1990 - Behavioral and Brain Sciences 13 (4):658-659.details
|
|
Brouwer versus Hilbert: 1907–1928.J. Posy Carl - 1998 - Science in Context 11 (2):291-325.details
|
|
Extending constructive operational set theory by impredicative principles.Andrea Cantini - 2011 - Mathematical Logic Quarterly 57 (3):299-322.details
|
|
Lucas revived? An undefended flank.Jeremy Butterfield - 1990 - Behavioral and Brain Sciences 13 (4):658-658.details
|
|
Approximating beppo levi’s principio di approssimazione.Riccardo Bruni & Peter Schuster - 2014 - Bulletin of Symbolic Logic 20 (2):141-169.details
|
|
Weak-operator Continuity and the Existence of Adjoints.Douglas Bridges & Luminita Dediu - 1999 - Mathematical Logic Quarterly 45 (2):203-206.details
|
|
Uniformly convex Banach spaces are reflexive—constructively.Douglas S. Bridges, Hajime Ishihara & Maarten McKubre-Jordens - 2013 - Mathematical Logic Quarterly 59 (4-5):352-356.details
|
|
On the Constructive Convergence of Series of Independent Functions.Douglas S. Bridges - 1979 - Mathematical Logic Quarterly 25 (3‐6):93-96.details
|
|
On the Constructive Convergence of Series of Independent Functions.Douglas S. Bridges - 1979 - Mathematical Logic Quarterly 25 (3-6):93-96.details
|
|
On Weak Operator Compactness of the Unit Ball of L(H).Douglas S. Bridges - 1978 - Mathematical Logic Quarterly 24 (31‐36):493-494.details
|
|
On Weak Operator Compactness of the Unit Ball of L_( _H).Douglas S. Bridges - 1978 - Mathematical Logic Quarterly 24 (31-36):493-494.details
|
|
Glueing continuous functions constructively.Douglas S. Bridges & Iris Loeb - 2010 - Archive for Mathematical Logic 49 (5):603-616.details
|
|
Geometric Intuition and Elementary Constructive Analysis.Douglas S. Bridges - 1979 - Mathematical Logic Quarterly 25 (33):521-523.details
|
|
Complements of Intersections in Constructive Mathematics.Douglas S. Bridges & Hajime Ishihara - 1994 - Mathematical Logic Quarterly 40 (1):35-43.details
|
|
Constructive mathematics and unbounded operators — a reply to Hellman.Douglas S. Bridges - 1995 - Journal of Philosophical Logic 24 (5):549 - 561.details
|
|
Compactness notions for an apartness space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.details
|
|
Continuous isomorphisms from R onto a complete abelian group.Douglas Bridges & Matthew Hendtlass - 2010 - Journal of Symbolic Logic 75 (3):930-944.details
|
|
Can constructive mathematics be applied in physics?Douglas S. Bridges - 1999 - Journal of Philosophical Logic 28 (5):439-453.details
|
|
Bounded variation implies regulated: A constructive proof.Douglas Bridges & Ayan Mahalanobis - 2001 - Journal of Symbolic Logic 66 (4):1695-1700.details
|
|
A Note on Morse's Lambda‐Notation in Set Theory.Douglas S. Bridges - 1978 - Mathematical Logic Quarterly 24 (8):113-114.details
|
|
A Note on Morse's Lambda-Notation in Set Theory.Douglas S. Bridges - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (8):113-114.details
|
|
A General Constructive Intermediate Value Theorem.Douglas S. Bridges - 1989 - Mathematical Logic Quarterly 35 (5):433-435.details
|
|
A General Constructive Intermediate Value Theorem.Douglas S. Bridges - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (5):433-435.details
|
|
A Constructive Treatment of Open and Unopen Mapping Theorems.Douglas Bridges, William Julian & Ray Mines - 1989 - Mathematical Logic Quarterly 35 (1):29-43.details
|
|
A Constructive Treatment of Open and Unopen Mapping Theorems.Douglas Bridges, William Julian & Ray Mines - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):29-43.details
|
|
A Definitive Constructive Open Mapping Theorem?Douglas Bridges & Hajime Ishihara - 1998 - Mathematical Logic Quarterly 44 (4):545-552.details
|
|
A Criterion for Compactness in Metric Spaces?Douglas S. Bridges - 1979 - Mathematical Logic Quarterly 25 (7‐12):97-98.details
|
|
A Criterion for Compactness in Metric Spaces?Douglas S. Bridges - 1979 - Mathematical Logic Quarterly 25 (7-12):97-98.details
|
|
AI and the Turing model of computation.Thomas M. Breuel - 1990 - Behavioral and Brain Sciences 13 (4):657-657.details
|
|
Algorithms and physical laws.Franklin Boyle - 1990 - Behavioral and Brain Sciences 13 (4):656-657.details
|
|
On “seeing” the truth of the Gödel sentence.George Boolos - 1990 - Behavioral and Brain Sciences 13 (4):655-656.details
|
|
Did Bishop have a philosophy of mathematics?Helen Billinge - 2003 - Philosophia Mathematica 11 (2):176-194.details
|
|
The anti-Specker property, a Heine–Borel property, and uniform continuity.Josef Berger & Douglas Bridges - 2008 - Archive for Mathematical Logic 46 (7-8):583-592.details
|
|
Ramsey’s theorem for pairs and K colors as a sub-classical principle of arithmetic.Stefano Berardi & Silvia Steila - 2017 - Journal of Symbolic Logic 82 (2):737-753.details
|
|
On the computational content of the axiom of choice.Stefano Berardi, Marc Bezem & Thierry Coquand - 1998 - Journal of Symbolic Logic 63 (2):600-622.details
|
|
Towards a Coherent Theory of Physics and Mathematics: The Theory–Experiment Connection.Paul Benioff - 2005 - Foundations of Physics 35 (11):1825-1856.details
|
|
The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals.Michael Beeson - 1976 - Journal of Symbolic Logic 41 (1):18-24.details
|
|