J
John N. Crossley
16 works on record
Works
The emergence of number
Formal systems and recursive functions
Communities Of Learning Networks And The Shaping Of Intellectual Identity In Europe 11001500
Constructive order types
Algebra and logic
Logical methods
Growing ideas of number
Adapting Proofs-as-Programs
Guy of Saint-Denis, Tractatus de Tonis
Emergence of Number
Hernando de los Ríos Coronel and the Spanish Philippines in the golden age
Hernando de los Ríos Coronel and the Spanish Philippines in the golden age
Combinatorial functors
Combinatorial functors
What is Mathematical Logic?
What is Mathematical Logic?
Logical Methods, In Honour of Anil Nerode's Sixtieth Birthday
Logical Methods, In Honour of Anil Nerode's Sixtieth Birthday
Ars Musice
Ars Musice
Communities of Learning
Communities of Learning