John N. Crossley

No biography available.

Works (11)

Cover of The emergence of number

The emergence of number

Cover of Logical methods

Logical methods

Cover of Constructive order types

Constructive order types

Cover of Guy of Saint-Denis, Tractatus de Tonis

Guy of Saint-Denis, Tractatus de Tonis

Cover of Emergence of Number

Emergence of Number

Cover of Growing ideas of number

Growing ideas of number

Cover of Formal systems and recursive functions

Formal systems and recursive functions

Cover of Algebra and logic

Algebra and logic

Cover of Adapting Proofs-as-Programs

Adapting Proofs-as-Programs

Cover of Logical methods

Logical methods

Cover of Communities Of Learning Networks And The Shaping Of Intellectual Identity In Europe 11001500

Communities Of Learning Networks And The Shaping Of Intellectual Identity In Europe 11001500