PLURALISM IN MATHEMATICS (2004)

by E. B. Davies
Citations:2 - 1 self

Documents Related by Co-Citation

1 Foundations of Constructive Analysis. Higher Mathematics – Errett Bishop - 1967
6 Constructive Analysis. Number 279 in Grundlehren der mathematischen Wissenschaften – E Bishop, D Bridges - 1985
4 Collected works I. Philosophy and Foundations of Mathematics – L E J Brouwer - 1975
53 First steps in synthetic domain theory – Martin Hyland - 1991
3 English translation, “General Topology”, distrubuted by – Topologie Générale Hermann - 1966
3 Varieties in Constructive Mathematics. Number 97 – Douglas Bridges, Fred Richman - 1987
2 On topologies for function-spaces – Ralph Fox - 1945
23 Filter Spaces and Continuous Functions – J M E Hyland - 1979
31 Equilogical Spaces – Andrej Bauer, Lars Birkedal, Dana S. Scott - 1998
49 Local compactness and continuous lattices – Karl Heinrich Hofmann, Michael W Mislove - 1979
26 ACourseofPure Mathematics – G H Hardy - 1952
3 Edelat and André Lieutier. Domain theory and differential calculus – Abbas - 2002
88 Logical arithmetic – J G Cleary - 1987
22 Constructive mathematics: A foundation for computable analysis – D S Bridges - 1999
3 Compactness and continuity, constructively revisited – D Bridges, H Ishihara, P Schuster - 2002
320 A Compendium of Continuous Lattices – G Gierz, K H Hofmann, K Keimel, J D Lawson, M Mislove, D S Scott - 1980
565 Untersuchungen über das logische Schließen – G Gentzen - 1935
389 Über Formal Unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatshefte für Mathematik und Physik – Kurt Gödel - 1931
77 An introduction – Intuitionism - 1956