A DEFENCE OF MATHEMATICAL PLURALISM (2004)

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

Documents Related by Co-Citation

597 Untersuchungen über das logische Schließen – G Gentzen - 1935
421 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme (On formally undecidable propositions in Principia Mathematica and related systems – K GÖDEL - 1931
352 A compendium of continuous lattices – G Gierz, K H Hofmann, K Keimel, J D Lawson, M Mislove, D S Scott - 1980
93 Logical Arithmetic – J Cleary - 1987
84 Intuitionism, an Introduction – A Heyting - 1956
69 The collected papers of Gerhard Gentzen – Gerhard Gentzen - 1969
53 First steps in synthetic domain theory – Martin Hyland - 1991
51 Local compactness and continuous lattices – K H Hofmann, M Mislove - 1981
33 Equilogical Spaces – Andrej Bauer, Lars Birkedal, Dana S. Scott - 1998
32 A Course of Pure Mathematics – G H Hardy - 1992