- (1 other version)Proofs and Refutations.Imre Lakatos - 1980 - Noûs 14 (3):474-478.details
|
|
(1 other version)An Intuitionistic Theory of Types: Predicative Part.Per Martin-Löf - 1975 - In ¸ Iterose1975. North Holland.details
|
|
Foundations of Constructive Analysis.Errett Bishop - 1967 - New York, NY, USA: Mcgraw-Hill.details
|
|
(2 other versions)Process and Reality.Arthur E. Murphy - 1931 - Humana Mente 6 (21):102-106.details
|
|
Implementing Mathematics with the Nuprl Proof Development System.R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer & R. W. Harper - 1990 - Journal of Symbolic Logic 55 (3):1299-1302.details
|
|
Computers and Intractability. A Guide to the Theory of NP-Completeness.Michael R. Garey & David S. Johnson - 1983 - Journal of Symbolic Logic 48 (2):498-500.details
|
|
Zermelo's Axiom of Choice. Its Origins, Development, and Influence.Gregory H. Moore - 1984 - Journal of Symbolic Logic 49 (2):659-660.details
|
|
(2 other versions)Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.details
|
|
Axiomatic Set Theory.Foundations of Set Theory.Paul Bernays, Abraham A. Fraenkel & Yehoshua Bar-Hillel - 1962 - Philosophical Review 71 (2):268-269.details
|
|
(2 other versions)Modes of thought.Alfred North Whitehead - 1938 - New York,: The Macmillan company.details
|
|
(2 other versions)Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..details
|
|
(2 other versions)Proofs and refutations: the logic of mathematical discovery.Imre Lakatos (ed.) - 1976 - New York: Cambridge University Press.details
|
|
Mathematical logic: a first course.Joel W. Robbin - 1969 - Mineola, N.Y.: Dover Publications.details
|
|
Whitehead's ontology.John W. Lango - 1972 - Albany,: State University of New York Press.details
|
|
(1 other version)An Intuitionistic Theory of Types: Predicative Part.Per Martin-Löf - 1975 - In H. E. Rose & J. C. Shepherdson (eds.), Logic Colloquium ’73 Proceedings of the Logic Colloquium. Elsevier. pp. 73--118.details
|
|
Foundations of Constructive Mathematics.Michael J. Beeson - 1932 - Springer Verlag.details
|
|
(1 other version)Whitehead's Theory of Reality.A. H. Johnson - 1963 - Les Etudes Philosophiques 18 (3):361-362.details
|
|
(2 other versions)Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..details
|
|
(1 other version)Foundations of Constructive Mathematics.Michael J. Beeson - 1987 - Studia Logica 46 (4):398-399.details
|
|
Order and Organism: Steps Toward a Whiteheadian Philosophy of Mathematics and the Natural Sciences.Murray Code - 1985 - State University of New York Press.details
|
|
Whitehead's theory of reality.A. H. Johnson - 1962 - New York,: Dover Publications.details
|
|
Modes of thought.Alfred-North Whitehead - 1938 - Revue de Métaphysique et de Morale 47 (2):248-248.details
|
|
Axiomatic Set Theory.Paul Bernays - 1959 - Journal of Symbolic Logic 24 (3):224-225.details
|
|