PLURALISM IN MATHEMATICS (2004)

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

Documents Related by Co-Citation

4 Collected works I. Philosophy and Foundations of Mathematics – L E J Brouwer - 1975
53 First steps in synthetic domain theory – Martin Hyland - 1991
2 On topologies for function-spaces – Ralph Fox - 1945
23 Filter Spaces and Continuous Functions – J M E Hyland - 1979
3 Edelat and André Lieutier. Domain theory and differential calculus – Abbas - 2002
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
26 The lambda calculus: its syntax and semantics. Number 103 – H Barendregt - 1985
6 Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes – G Baigger - 1985
77 An introduction – Intuitionism - 1956
46 Local compactness and continuous lattices – K H Hofmann, M Mislove
89 Logical arithmetic – J G Cleary - 1987
5 English translation, General Topology, distributed by – Topologie Générale Hermann - 1966
27 A Course of Pure Mathematics – G H Hardy - 1963
7 Constructive Analysis. Number 279 in Grundlehren der mathematischen Wissenschaften – Errett Bishop, Douglas Bridges - 1985
2 Foundations of Constructive Analysis. Higher Mathematics – Errett Bishop - 1967
4 Varieties of Constructive Mathematics. Number 97 in London Mathematical Society Lecture Notes – Douglas Bridges, Fred Richman - 1987
321 A Compendium of Continuous Lattices – G Gierz, K H Hofmann, K Keimel, J D Lawson, M Mislove, D S Scott - 1980
567 Untersuchungen über das logische Schliessen – G Gentzen - 1934