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

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

Growing ideas of number

Emergence of Number

The emergence of number

Constructive order types

Formal systems and recursive functions

What Is Mathematical Logic?

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

What is mathematical logic?