20 found
Order:
  1.  10
    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.
  2.  9
    Recursion Theory and Algebra.G. Metakides, A. Nerode, J. N. Crossley, Iraj Kalantari & Allen Retzlaff - 1986 - Journal of Symbolic Logic 51 (1):229-232.
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  3.  9
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   25 citations  
  4.  6
    Combinatorial Functors.J. N. Crossley & Anil Nerode - 1977 - Journal of Symbolic Logic 42 (4):586-587.
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  5.  9
    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.
  6.  14
    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.
  7.  72
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  18
    Set Theory and Higher-Order Logic.Richard Montague, J. N. Crossley & M. A. E. Dummett - 1975 - Journal of Symbolic Logic 40 (3):459-459.
  9.  7
    Preface.J. N. Crossley - 1986 - Annals of Pure and Applied Logic 32:111.
  10. Formal Systems and Recursive Functions.Michael Dummett & J. N. Crossley (eds.) - 1963 - North Holland.
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  11.  11
    The Logic of Interrogatives.Gerold Stahl, M. J. Cresswell, J. N. Crossley & M. A. E. Dummett - 1966 - Journal of Symbolic Logic 31 (4):668.
  12. What Is Mathematical Logic?J. N. Crossley - 1975 - Critica 7 (21):120-122.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  13.  24
    Meeting of the Association for Symbolic Logic.J. N. Crossley - 1966 - Journal of Symbolic Logic 31 (2):290-302.
  14.  17
    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.
  15.  7
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  7
    Reviews. [REVIEW]J. N. Crossley - 1962 - British Journal for the Philosophy of Science 13 (51):251-253.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  2
    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.
  18.  2
    BARWISE, J., "Handbook of Mathematical Logic". [REVIEW]J. N. Crossley - 1980 - Australasian Journal of Philosophy 58:178.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  2
    Proof Theory.J. N. Crossley - 1982 - Journal of Symbolic Logic 47 (1):218-220.
  20.  1
    Predicative Well-Orderings.J. N. Crossley & M. A. E. Dummett - 1967 - Journal of Symbolic Logic 32 (2):284-285.