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