CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15¿20, 2008 Computability in Europe...

'Foundations of the Formal Sciences' (FotFS) is a series of interdisciplinary conferences in math...

Presents seminal papers from the Caltech-UCLA 'Cabal Seminar', unpublished material, and related ...

The most seminal collection of papers of descriptive set theory reprinted and put into the modern...

The notion of complexity is an important contribution of logic to theoretical computer science an...

'Foundations of the Formal Sciences' (FotFS) is a series of interdisciplinary conferences in math...

Philosophy and sociology of science aim at understanding the workings of scientific endeavour. De...

This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, ...

This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, ...

In recent years, classical computability has expanded beyond its original scope to address issues...

This book constitutes the refereed proceedings of the Third International Conference on Computabi...

Large Cardinals, Determinacy and Other Topics is the last in a series of four books presenting th...