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

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

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...

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, ...

This superb exposition of a complex subject examines new developments in the theory and practice ...

Shifting and Lifting of Cellular Automata.- Learning as Data Compression.- Reachability Problems:...

CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Com...

This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Con...

First-Order Universality for Real Programs.- Skolem + Tetration Is Well-Ordered.- Structures of S...

Introduction: If CiE Did Not Exist, It Would Be Necessary to Invent It.- Computably Enumerable Se...