Follow
John Crossley
Title
Cited by
Cited by
Year
The Nine Chapters on the Mathematical Art: Companion and Commentary
K 癮 ng-shen· Shen, JN Crossley, AWC Lun, H Liu
Oxford University Press, 1999
3641999
The logic of “actually”
JN Crossley, L Humberstone
Reports on Mathematical Logic 8 (1), 1-29, 1977
2211977
What is mathematical logic?
JN Crossley
Courier Corporation, 1972
185*1972
Chinese mathematics: A concise history
Y Li, JN Crossley, AWC Lun
(No Title), 1987
981987
The emergence of number
JN Crossley
World Scientific, 1987
801987
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
681990
Hernando de los Ríos Coronel and the Spanish Philippines in the Golden Age
JN Crossley
Routledge, 2016
572016
Hernando de los Ríos Coronel and the Spanish Philippines in the golden age
JN Crossley
Routledge, 2016
572016
Combinatorial Functors
JN Crossley, A Nerode
Combinatorial Functors, 1974
571974
Reminiscences of logicians
JN Crossley
Algebra and Logic, 1-62, 1975
541975
Adapting Proofs-as-Programs: The Curry--Howard Protocol
I Poernomo, JN Crossley, M Wirsing
Springer Science & Business Media, 2005
442005
Aspects of effective algebra
JN Crossley
Proceedings of a Conference at Monash University, Australia 1 (4), 1979
401979
Formal Systems and Recursive Functions. Proceedings of the Eighth Logic Colloquium Oxford, July 1963
JN Crossley, MAE Dummett
401965
Ars musice
J de Grocheio, CJ Mews, JN Crossley, C Jeffreys, L McKinnon, ...
Medieval Institute Publications, 2011
362011
The Dasmariñases, Early Governors of the Spanish Philippines
JN Crossley
Routledge, 2016
322016
A note on Cantor's theorem and Russell's paradox
JN Crossley
Australasian Journal of Philosophy 51 (1), 70-71, 1973
291973
Constructive order types
JN Crossley
271969
Constructive order types
JN Crossley
271969
Communities of Learning: Networks and the shaping of intellectual identity in Europe, 1100-1500
CJ Mews, JN Crossley
Brepols Publishers, 2011
262011
Algebra and logic: papers from the 1974 Summer research institute of the Australian Mathematical Society, Monash University, Australia
JN Crossley
Springer, 2006
262006
The system can't perform the operation now. Try again later.
Articles 1–20