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
3541999
The logic of “actually”
JN Crossley, L Humberstone
Reports on Mathematical Logic 8 (1), 1-29, 1977
2071977
What is mathematical logic?
JN Crossley
Courier Corporation, 1972
182*1972
Chinese mathematics: A concise history
Y Li, JN Crossley, AWC Lun
(No Title), 1987
931987
The emergence of number
JN Crossley
World Scientific, 1987
771987
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
651990
Combinatorial Functors
JN Crossley, A Nerode
Combinatorial Functors, 1974
571974
Hernando de los Ríos Coronel and the Spanish Philippines in the Golden Age
JN Crossley
Routledge, 2016
522016
Hernando de los Ríos Coronel and the Spanish Philippines in the golden age
JN Crossley
Routledge, 2016
522016
Reminiscences of logicians
JN Crossley
Algebra and Logic, 1-62, 1975
491975
Adapting Proofs-as-Programs: The Curry--Howard Protocol
I Poernomo, JN Crossley, M Wirsing
Springer Science & Business Media, 2005
412005
Formal Systems and Recursive Functions. Proceedings of the Eighth Logic Colloquium Oxford, July 1963
JN Crossley, MAE Dummett
401965
Aspects of effective algebra
JN Crossley
Proceedings of a Conference at Monash University, Australia 1 (4), 1979
371979
Ars musice
J de Grocheio, CJ Mews, JN Crossley, C Jeffreys, L McKinnon, ...
Medieval Institute Publications, 2011
332011
The Dasmariñases, Early Governors of the Spanish Philippines
JN Crossley
Routledge, 2016
282016
A note on Cantor's theorem and Russell's paradox
JN Crossley
Australasian Journal of Philosophy 51 (1), 70-71, 1973
281973
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
Extracting programs from proofs by an extension of the Curry-Howard process
JN Crossley, JC Shepherdson
Logical Methods: In honor of Anil Nerode’s Sixtieth Birthday, 222-288, 1993
261993
The system can't perform the operation now. Try again later.
Articles 1–20