che-chandler.de

Adapting Proofs-as-Programs

This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a s...

EMERGENCE OF NUMBER,THE (B/H)

Logical Methods

The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's ...

Dasmarinases, Early Governors of the Spanish Philippines

Building upon Dr Crossley's 2011 book ('Hernando de los Rios Coronel and the Spanish Philippines ...

Hernando de los Ríos Coronel and the Spanish Philippines in the Golden Age

Whilst much scholarly work has been focused on Spain''s American colonies, much less is known abo...

Hernando de los Ríos Coronel and the Spanish Philippines in the Golden Age

Whilst much scholarly work has been focused on Spain''s American colonies, much less is known abo...

Guy of Saint-Denis, Tractatus de tonis

The Tractatus de tonis of Guy of Saint-Denis (written ca. 1300-10) differs from other treatises o...

Improving the Measurement of Consumer Expenditures

Robust and reliable measures of consumer expenditures are essential for analyzing aggregate econo...

Architecture and Interpretation

Essays centred on the methods, pleasures, and pitfalls of architectural interpretation.

Social Networks and Social Movements

The concept of networks and the techniques of social network analysis have each assumed increasin...

Social Networks and Social Movements

The concept of networks and the techniques of social network analysis have each assumed increasin...

Emergence Of Number, The

This book presents detailed studies of the development of three kinds of number. In the first par...