The Nine Chapters on the Mathematical Art: Companion and Commentary K 癮 ng-shen· Shen, JN Crossley, AWC Lun, H Liu Oxford University Press, 1999 | 358 | 1999 |
The logic of “actually” JN Crossley, L Humberstone Reports on Mathematical Logic 8 (1), 1-29, 1977 | 213 | 1977 |
What is mathematical logic? JN Crossley Courier Corporation, 1972 | 183* | 1972 |
Chinese mathematics: A concise history Y Li, JN Crossley, AWC Lun (No Title), 1987 | 97 | 1987 |
The emergence of number JN Crossley World Scientific, 1987 | 76 | 1987 |
Thus spake al-Khwārizmī: a translation of the text of Cambridge University Library Ms. Ii. vi. 5 JN Crossley, AS Henry Historia Mathematica 17 (2), 103-131, 1990 | 65 | 1990 |
Combinatorial Functors JN Crossley, A Nerode Combinatorial Functors, 1974 | 57 | 1974 |
Hernando de los Ríos Coronel and the Spanish Philippines in the Golden Age JN Crossley Routledge, 2016 | 55 | 2016 |
Hernando de los Ríos Coronel and the Spanish Philippines in the golden age JN Crossley Routledge, 2016 | 55 | 2016 |
Reminiscences of logicians JN Crossley Algebra and Logic, 1-62, 1975 | 52 | 1975 |
Adapting Proofs-as-Programs: The Curry--Howard Protocol I Poernomo, JN Crossley, M Wirsing Springer Science & Business Media, 2005 | 42 | 2005 |
Aspects of effective algebra JN Crossley Proceedings of a Conference at Monash University, Australia 1 (4), 1979 | 41 | 1979 |
Formal Systems and Recursive Functions. Proceedings of the Eighth Logic Colloquium Oxford, July 1963 JN Crossley, MAE Dummett | 35 | 1965 |
Ars musice J de Grocheio, CJ Mews, JN Crossley, C Jeffreys, L McKinnon, ... Medieval Institute Publications, 2011 | 33 | 2011 |
The Dasmariñases, Early Governors of the Spanish Philippines JN Crossley Routledge, 2016 | 29 | 2016 |
A note on Cantor's theorem and Russell's paradox JN Crossley Australasian Journal of Philosophy 51 (1), 70-71, 1973 | 28 | 1973 |
Communities of Learning: Networks and the shaping of intellectual identity in Europe, 1100-1500 CJ Mews, JN Crossley Brepols Publishers, 2011 | 27 | 2011 |
Constructive order types JN Crossley | 27 | 1969 |
Constructive order types JN Crossley | 27 | 1969 |
Algebra and logic: papers from the 1974 Summer research institute of the Australian Mathematical Society, Monash University, Australia JN Crossley Springer, 2006 | 26 | 2006 |