18 found
Order:
  1.  34
    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.  25
    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   38 citations  
  3.  25
    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  
  4.  25
    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.
  5.  8
    Combinatorial Functors.J. N. Crossley & Anil Nerode - 1977 - Journal of Symbolic Logic 42 (4):586-587.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  6. What Is Mathematical Logic?J. N. Crossley - 1975 - Critica 7 (21):120-122.
    No categories
     
    Export citation  
     
    Bookmark   13 citations  
  7.  37
    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.
  8.  2
    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 (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  9. Formal Systems and Recursive Functions.Michael Dummett & J. N. Crossley (eds.) - 1963 - Amsterdam,: North Holland.
     
    Export citation  
     
    Bookmark   3 citations  
  10.  2
    Preface.J. N. Crossley - 1986 - Annals of Pure and Applied Logic 32 (C):111.
  11.  5
    Meeting of the association for symbolic logic.J. N. Crossley - 1966 - Journal of Symbolic Logic 31 (2):290-302.
  12.  3
    Proof Theory.J. N. Crossley - 1982 - Journal of Symbolic Logic 47 (1):218-220.
  13.  4
    Predicative Well-Orderings.J. N. Crossley & M. A. E. Dummett - 1967 - Journal of Symbolic Logic 32 (2):284-285.
  14.  14
    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  
  15.  9
    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.
  16.  25
    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.
  17.  12
    BARWISE, J., "Handbook of Mathematical Logic". [REVIEW]J. N. Crossley - 1980 - Australasian Journal of Philosophy 58:178.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  7
    Reviews. [REVIEW]J. N. Crossley - 1962 - British Journal for the Philosophy of Science 13 (51):251-253.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark