- Constructive notions of strict convexity.Douglas S. Bridges - 1993 - Mathematical Logic Quarterly 39 (1):295-300.details
|
|
Complements of Intersections in Constructive Mathematics.Douglas S. Bridges & Hajime Ishihara - 1994 - Mathematical Logic Quarterly 40 (1):35-43.details
|
|
Characterising dominated weak-operator continuous functionals on subspaces of B.Douglas S. Bridges - 2013 - Annals of Pure and Applied Logic 164 (4):416-420.details
|
|
Can constructive mathematics be applied in physics?Douglas S. Bridges - 1999 - Journal of Philosophical Logic 28 (5):439-453.details
|
|
Apartness spaces as a framework for constructive topology.Douglas Bridges & Luminiţa Vîţă - 2003 - Annals of Pure and Applied Logic 119 (1-3):61-83.details
|
|
Apartness spaces and uniform neighbourhood structures.Douglas S. Bridges - 2016 - Annals of Pure and Applied Logic 167 (9):850-864.details
|
|
Apartness spaces as a framework for constructive topology.Douglas Bridges & Luminia Vî - 2003 - Annals of Pure and Applied Logic 119 (1-3):61-83.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
|
|
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus.Douglas Bridges & Hajime Ishihara - 1994 - Mathematical Logic Quarterly 40 (4):519-527.details
|
|
Discussion. Applied constructive mathematics: on Hellman's 'mathematical constructivism in spacetime'.H. Billinge - 2000 - British Journal for the Philosophy of Science 51 (2):299-318.details
|
|
The binary expansion and the intermediate value theorem in constructive reverse mathematics.Josef Berger, Hajime Ishihara, Takayuki Kihara & Takako Nemoto - 2019 - Archive for Mathematical Logic 58 (1-2):203-217.details
|
|
Intuitionistic fixed point logic.Ulrich Berger & Hideki Tsuiki - 2021 - Annals of Pure and Applied Logic 172 (3):102903.details
|
|
Convexity and unique minimum points.Josef Berger & Gregor Svindland - 2019 - Archive for Mathematical Logic 58 (1-2):27-34.details
|
|
Constructive aspects of Riemann’s permutation theorem for series.J. Berger, Douglas Bridges, Hannes Diener & Helmet Schwichtenberg - forthcoming - Logic Journal of the IGPL.details
|
|
Logical pluralism.Jc Beall & Greg Restall - 2000 - Australasian Journal of Philosophy 78 (4):475 – 493.details
|
|
Logical Pluralism.Jc Beall & Greg Restall - 2005 - Oxford, England: Oxford University Press. Edited by Greg Restall.details
|
|
Bishop's Mathematics: a Philosophical Perspective.Laura Crosilla - forthcoming - In Handbook of Bishop's Mathematics. CUP.details
|
|
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
C. S. Peirce and Intersemiotic Translation.Joao Queiroz & Daniella Aguiar - 2015 - In Peter Pericles Trifonas (ed.), International Handbook of Semiotics. Dordrecht: Springer. pp. 201-215.details
|
|
Strict Finitism and the Logic of Mathematical Applications.Feng Ye - 2011 - Dordrecht, Netherland: Springer.details
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
Why a Little Bit Goes a Long Way: Logical Foundations of Scientifically Applicable Mathematics.Solomon Feferman - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:442 - 455.details
|
|
About and Around Computing Over the Reals.Solomon Feferman - unknowndetails
|
|