- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by J. N. Crossley
18 found
Order:
- A Language and Axioms for Explicit Mathematics.Solomon Feferman, J. N. Crossley, Maurice Boffa, Dirk van Dalen & Kenneth Mcaloon - 1984 - Journal of Symbolic Logic 49 (1):308-311.
- Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke, J. N. Crossley & M. A. E. Dummett - 1970 - Journal of Symbolic Logic 35 (2):330-332.
- Recursion Theory and Algebra.G. Metakides, A. Nerode, J. N. Crossley, Iraj Kalantari & Allen Retzlaff - 1986 - Journal of Symbolic Logic 51 (1):229-232.
- Distributive Normal Forms in First-Order Logic.Jaakko Hintikka, J. N. Crossley & M. A. E. Dummett - 1966 - Journal of Symbolic Logic 31 (2):267-268.
- Combinatorial Functors.J. N. Crossley & Anil Nerode - 1977 - Journal of Symbolic Logic 42 (4):586-587.
- What Is Mathematical Logic?J. N. Crossley - 1975 - Critica 7 (21):120-122.No categories
- Infinitely Long Terms of Transfinite Type.W. W. Tait, J. N. Crossley & M. A. E. Dummett - 1975 - Journal of Symbolic Logic 40 (4):623-624.
- A note on Cantor's theorem and Russell's paradox.J. N. Crossley - 1973 - Australasian Journal of Philosophy 51 (1):70 – 71.It is claimed that cantor had the technical apparatus available to derive russell's paradox some ten years before russell's discovery.
- Formal Systems and Recursive Functions.Michael Dummett & J. N. Crossley (eds.) - 1963 - Amsterdam,: North Holland.
- Preface.J. N. Crossley - 1986 - Annals of Pure and Applied Logic 32 (C):111.
- Meeting of the association for symbolic logic.J. N. Crossley - 1966 - Journal of Symbolic Logic 31 (2):290-302.
- Proof Theory.J. N. Crossley - 1982 - Journal of Symbolic Logic 47 (1):218-220.
- Predicative Well-Orderings.J. N. Crossley & M. A. E. Dummett - 1967 - Journal of Symbolic Logic 32 (2):284-285.
- A Relativization Procedure for Propositional Calculi, with an Application to a Generalized form of Post's Theorem.Ronald Harrop, J. N. Crossley & M. A. E. Dummett - 1967 - Journal of Symbolic Logic 32 (1):125-126.
- Meeting of the association for symbolic logic.E. J. Lemmon, M. A. E. Dummett & J. N. Crossley - 1963 - Journal of Symbolic Logic 28 (3):262-272.
- Meeting of the Association for Symbolic Logic.E. J. Lemmon, M. A. E. Dummett & J. N. Crossley - 1963 - Journal of Symbolic Logic 28 (3):262-270.
- BARWISE, J., "Handbook of Mathematical Logic". [REVIEW]J. N. Crossley - 1980 - Australasian Journal of Philosophy 58:178.
- Reviews. [REVIEW]J. N. Crossley - 1962 - British Journal for the Philosophy of Science 13 (51):251-253.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-9vkzx uwo