25 found
Sort by:
  1. John N. Crossley (2009). Indian Philosophy and Philosophy of Science (Review). Philosophy East and West 59 (4):pp. 565-567.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. John N. Crossley (2008). HLL Busard, Campanus of Novara and Euclid's “Elements.”(Boethius, 51, 1 and 2.) Wiesbaden: Franz Steiner, 2005. 1: Pp. Vii, 1–530; Many Diagrams. 2: Pp. Iv, 531–768; Diagrams.€ 115. [REVIEW] Speculum 83 (1):181-182.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. John N. Crossley (2005). Roshdi Rashed, Les mathématiques infinitésimales du IXe au Xle siècle, 4: lbn al-Haytham, méthodes géométriques, transformations ponctuelles et philosophie des mathématiques. (Publication 60.) London: Al-Furqān Islamic Heritage Foundation, 2002. Pp. xiii, 1064, vii; many black-and-white figures. [REVIEW] Speculum 80 (3):955-957.
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. John N. Crossley (2001). Handbook of Recursive Mathematics, Volume 2, Recursive Algebra, Analysis and Combinatorics, Edited by Ershov Yu. L., Goncharov SS, Nerode A., and Remmel JB, with Marek VW, Studies in Logic and the Foundations of Mathematics, Vol. 139, Elsevier, Amsterdam Etc. 1998, Xlvi+ Pp. 621–1372. [REVIEW] Bulletin of Symbolic Logic 7 (1):69-71.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. John N. Crossley (2001). Review: Yu. L. Ershov, S. S. Goncharov, A. Nerode, J. B. Remmel, V. W. Marek, Handbook of Recursive Mathematics. Volume 2, Recursive Algebra, Analysis and Combinatorics. [REVIEW] Bulletin of Symbolic Logic 7 (1):69-71.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. David Albrecht, Frank A. Bäuerle, John N. Crossley & John S. Jeavons (1998). Curry-Howard Terms for Linear Logic. Studia Logica 61 (2):223 - 235.
    In this paper we 1. provide a natural deduction system for full first-order linear logic, 2. introduce Curry-Howard-style terms for this version of linear logic, 3. extend the notion of substitution of Curry-Howard terms for term variables, 4. define the reduction rules for the Curry-Howard terms and 5. outline a proof of the strong normalization for the full system of linear logic using a development of Girard's candidates for reducibility, thereby providing an alternative to Girard's proof using (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. Frank A. Bäuerle, David Albrecht, John N. Crossley & John S. Jeavons (1998). Curry-Howard Terms for Linear Logic. Studia Logica 61 (2):223-235.
    In this paper we 1. provide a natural deduction system for full first-order linear logic, 2. introduce Curry-Howard-style terms for this version of linear logic, 3. extend the notion of substitution of Curry-Howard terms for term variables, 4. define the reduction rules for the Curry-Howard terms and 5. outline a proof of the strong normalization for the full system of linear logic using a development of Girard's candidates for reducibility, thereby providing an alternative to Girard's proof using proof-nets.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  8. John N. Crossley (1996). KreisePs Effectiveness. In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. 33.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  9. John N. Crossley & J. B. Remmel (1992). Cancellation Laws for Polynomial-Time P-Isolated Sets. Annals of Pure and Applied Logic 56 (1-3):147-172.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Dominic Hyde, Rehabilitating Russell, John S. Jeavons & John N. Crossley (1992). Table Des Matieres du Vol. 137-138. Logique Et Analyse 35:206.
     
    My bibliography  
     
    Export citation  
  11. John S. Jeavons & John N. Crossley (1992). A Logic-Based Modelling of Prolog Resolution Sequences. Logique Et Analyse 35 (138):189-205.
     
    My bibliography  
     
    Export citation  
  12. John N. Crossley (1991). [Omnibus Review]. Journal of Symbolic Logic 56 (3):1089-1090.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. John N. Crossley (1989). Review: Dirk van Dalen, Algorithms and Decision Problems: A Crash Course in Recursion Theory. [REVIEW] Journal of Symbolic Logic 54 (3):1094-1095.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. John N. Crossley & Philip J. Scott (1989). Completeness Proofs for Propositional Logic with Polynomial-Time Connectives. Annals of Pure and Applied Logic 44 (1-2):39-52.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. John N. Crossley, Alfred B. Manaster & Michael F. Moses (1986). Recursive Categoricity and Recursive Stability. Annals of Pure and Applied Logic 31:191-204.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. John N. Crossley (1982). The Given. Studia Logica 41 (2-3):131 - 139.
    The paper presents a brief survey of recent work by Metakides, Nerode and others in the area of effective algebra and makes some comments on the relation between formal presentations, characterizations, etc. of sets and of algebraic structures and their practical presentations.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. John N. Crossley & Lloyd Humberstone (1981). Meeting of the Association for Symbolic Logic: Melbourne, Australia 1979. Journal of Symbolic Logic 46 (2):424-426.
  18. John N. Crossley (ed.) (1975). Algebra and Logic: Papers From the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia. Springer-Verlag.
     
    My bibliography  
     
    Export citation  
  19. John N. Crossley (ed.) (1972/1990). What is Mathematical Logic? Dover Publications.
    This lively introduction to mathematical logic, easily accessible to non-mathematicians, offers an historical survey, coverage of predicate calculus, model theory, Godel’s theorems, computability and recursivefunctions, consistency and independence in axiomatic set theory, and much more. Suggestions for Further Reading. Diagrams.
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. John N. Crossley (1971). Review: Alfred B. Manaster, Rich Co-Ordinals, Addition Isomorphisms, and RETs. [REVIEW] Journal of Symbolic Logic 36 (2):342-342.
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. John N. Crossley (1969). Constructive Order Types. London, North-Holland Pub. Co..
    No categories
     
    My bibliography  
     
    Export citation  
  22. John N. Crossley (ed.) (1967). Sets, Models and Recursion Theory. Amsterdam, North-Holland Pub. Co..
    No categories
     
    My bibliography  
     
    Export citation  
  23. John N. Crossley, Paul Lorenzen & Frederick J. Crosson (1967). Formal Logic. Philosophical Quarterly 17 (66):83.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  24. John N. Crossley (1966). Constructive Order Types, II. Journal of Symbolic Logic 31 (4):525-538.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  25. John N. Crossley & Michael A. E. Dummett (eds.) (1965). Formal Systems and Recursive Functions. Amsterdam, North-Holland Pub. Co..
    No categories
     
    My bibliography  
     
    Export citation