John N. Crossley

· 26 obras en el catálogo

Obras

CCombinatorial functors

Combinatorial functors

HHernando de los Ríos Coronel and the Spanish Philippines in

Hernando de los Ríos Coronel and the Spanish Philippines in the golden age

Formal systems and recursive functions

CCombinatorial functors

Combinatorial functors

WWhat is Mathematical Logic?

What is Mathematical Logic?

TThe Emergence of Number

The Emergence of Number

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

Constructive order types

WWhat is mathematical logic?

What is mathematical logic?

TThe emergence of number

The emergence of number

CConstructive order types

Constructive order types

Algebra and logic

Logical methods

LLogical Methods, In Honour of Anil Nerode's Sixtieth Birthda

Logical Methods, In Honour of Anil Nerode's Sixtieth Birthday

TThe emergence of number

The emergence of number

CCombinatorial functors

Combinatorial functors

Constructive order types

Growing ideas of number

Logical methods

Adapting Proofs-as-Programs

The emergence of number

AArs Musice

Ars Musice

Guy of Saint-Denis, Tractatus de Tonis

What Is Mathematical Logic?