John Newsome Crossley (crossley-jn)

Contributions to Philosophie.ch

Bibliography

Albrecht, David, Bäuerle, Frank A. and Crossley, John Newsome. 1998. “Curry-Howard terms for Linear Logic.” Studia Logica: An International Journal for Symbolic Logic 61(2): 223–235.
Crossley, John Newsome. 1965. “Constructive Order Types, I.” in Formal Systems and Recursive Functions (Proceedings of the Eighth Logic Colloquium, Oxford, July 1963), edited by John Newsome Crossley and Michael A. E. Dummett, pp. 189–264. Studies in Logic and the Foundations of Mathematics n. 40. Amsterdam: North-Holland Publishing Co.
Crossley, John Newsome, ed. 1967. Sets, Models and Recursion Theory (Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965). Studies in Logic and the Foundations of Mathematics n. 46. Amsterdam: North-Holland Publishing Co.
Crossley, John Newsome. 1969. Constructive Order Types. Studies in Logic and the Foundations of Mathematics n. 56. Amsterdam: North-Holland Publishing Co.
Crossley, John Newsome, ed. 1975a. Algebra and Logic. Lecture Notes in Mathematics n. 450. Berlin: Springer.
Crossley, John Newsome. 1975b. “Reminiscences of Logicians.” in Algebra and Logic, edited by John Newsome Crossley, pp. 1–62. Lecture Notes in Mathematics n. 450. Berlin: Springer.
Crossley, John Newsome. 2011a. “What is Mathematical Logic? A Survey.” in Proof, Computation and Agency. Logic at the Crossroads, edited by Johan van Benthem, Amitabha Gupta, and Rohit Parikh, pp. 3–18. Synthese Library n. 352. Dordrecht: Springer.
Crossley, John Newsome. 2011b. “What is a Proof?” in Proof, Computation and Agency. Logic at the Crossroads, edited by Johan van Benthem, Amitabha Gupta, and Rohit Parikh, pp. 35–52. Synthese Library n. 352. Dordrecht: Springer.
Crossley, John Newsome. 2011c. “What is the Difference between Proofs and Programs?” in Proof, Computation and Agency. Logic at the Crossroads, edited by Johan van Benthem, Amitabha Gupta, and Rohit Parikh, pp. 81–98. Synthese Library n. 352. Dordrecht: Springer.
Crossley, John Newsome and Dummett, Michael A. E., eds. 1965. Formal Systems and Recursive Functions (Proceedings of the Eighth Logic Colloquium, Oxford, July 1963). Studies in Logic and the Foundations of Mathematics n. 40. Amsterdam: North-Holland Publishing Co.
Crossley, John Newsome and Humberstone, I. Lloyd. 1977. “The Logic of ‘Actually’’ .” Reports on Mathematical Logic 9: 11–29.
Crossley, John Newsome and Williams, Neil H. 1972. What is Mathematical Logic? Oxford: Oxford University Press.
Jeavons, John S. and Crossley, John Newsome. 1992. “A Logic-Based Modelling of Prolog Resolution Sequences.” Logique et Analyse 35(137–138): 189–205.
Jeavons, John S. and Crossley, John Newsome. 1994. “A Logic-Based Modelling of Prolog Resolution Sequences Including the Negation as Failure Rule.” Logique et Analyse 37(147–148): 379–406.