John Crossley

Research output

Research output per year 1965 2005 2010 2011 2023

• 40 Article
• 15 Chapter (Book)
• 15 Conference Paper
• 10 Book
• 17 More
  • 7 Commissioned Report
  • 3 Foreword / Postscript
  • 2 Review Article
  • 1 Edited Book
  • 1 Other
  • 1 Paper
  • 1 Editorial
  • 1 Letter

Research output per year

Research output per year

Search results

• 2021

  Sense of Proportion: Jacobus extending Boethius around 1300

  Crossley, J. N., 2021, The Intellectual Dynamism of the High Middle Ages. Frances Monagle, C. (ed.). Amsterdam Netherlands: Amsterdam University Press, p. 213-226 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review
• 2020

  … and so on: Schütte on Naming Ordinals

  Crossley, J. N., 2020, The Legacy of Kurt Schütte. Kahle, R. & Rathjen, M. (eds.). 1st ed. Cham Switzerland: Springer, p. 37-46 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review
• 2012

  Forum: High pressure: Psychosis, performance, schizophrenia, literature: An interdisciplinary roundtable discussion on Nabokov's 'Signs and Symbols'

  Ackerman, H., Biggs, M., Crossley, J. N., Goodman, W., Leving, Y. & White, F., 2012, Anatomy of a Short Story: Nabokov's Puzzles, Codes, 'Signs and Symbols'. Leving, Y. (ed.). 1 ed. New York NY USA: Continuum International Publishing Group, p. 15 - 40 26 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review

• What is a logic?

  Crossley, J. N., 2012, Studies in Logic: A Dialogue Between the East and the West. Mitra, M. N., Chakraborty, M. K. & Sarukkai, S. (eds.). 1 ed. New Delhi India: Sanctum Books, p. 1 - 33 33 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review
• 2011

  Introduction

  Crossley, J. N. & Mews, C. J., 2011, Communities of Learning: Networks and the Shaping of Intellectual Identity in Europe, 1100-1500. Mews, C. J. & Crossley, J. N. (eds.). Turnhout: Brepols Publishers, p. 1-7 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Other › peer-review

• Ramon Llull’s contributions to computer science

  Crossley, J. N., 2011, Ramon Llull: From the Ars Magna to Artficial Intelligence. Fidora, A. & Sierra, C. (eds.). Barcelona: Consejo Superior de Investigaciones Cientificas (CSIC), p. 39-59 21 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review

• Studying musica in thirteenth-century Paris: The expectations of Johannes de Grocheio

  Crossley, J. N. & Williams, C. J., 2011, Communities of Learning: Networks and the Shaping of Intellectual Identity in Europe 1100-1500. Mews, C. J. & Crossley, J. N. (eds.). Turnhout Belgium: Brepols Publishers, p. 137 - 150 14 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review

• What is a proof?

  Crossley, J. N., 2011, Proof, Computation and Agency: Logic at the Crossroads. van Benthem, J., Gupta, A. & Parikh, R. (eds.). Berlin Germany: Springer, p. 35 - 52 18 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review
  5 Citations (Scopus)

• What is mathematical logic? A survey

  Crossley, J. N., 2011, Proof, Computation and Agency: Logic at the Crossroads. van Benthem, J., Gupta, A. & Parikh, R. (eds.). Berlin, Germany: Springer, p. 3-17 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review

• What is the difference between proofs and programs?

  Crossley, J. N., 2011, Proof, Computation and Agency: Logic at the Crossroads. van Benthem, J., Gupta, A. & Parikh, R. (eds.). Berlin Germany: Springer, p. 81 - 97 17 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review
• 2010

  Beyond three: Jung, Anthropology and number

  Crossley, J. N., 2010, Dreams and Visions: An Interdisciplinary Enquiry. Deusen, N. V. (ed.). 1 ed. Leiden Netherlands: Brill, p. 313 - 324 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review

• The oldest personal library in the Philippines?

  Crossley, J. N., 2010, Lumina Pandit: A Collection of Historical Treasures. Aparicio, A. (ed.). Manilla Philippines: UST Miguel de Benavides Library, p. 29 - 36 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Other
• 2006

  Samsara

  Crossley, J. N., 2006, Mathematical Problems from Applied Logic I: Logics for the XXIst Century. Gabbay, D. M., Goncharov, S. S. & Zakharyaschev, M. (eds.). 1 ed. New York USA: Springer, p. 233 - 276 44 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review
• 1983

  Undecidability and recursive equivalence I

  Crossley, J. N. & Remmel, J. B., 1 Jan 1983, Southeast Asian Conference on Logic: Proceedings of the Logic Conference Singapore, 1981. C ed. Vol. 111. p. 37-53 17 p. (Studies in Logic and the Foundations of Mathematics).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review
  1 Citation (Scopus)
• 1965

  Constructive Order Types, I

  Crossley, J. N., 1 Dec 1965, Formal Systems and Recursive Functions. C ed. Vol. 40. p. 189-264 76 p. (Studies in Logic and the Foundations of Mathematics).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review
  4 Citations (Scopus)