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

This bookgathers the proceedings of the conference 'Cultures of Mathematics andLogic,' he...

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

InhaltsangabeThe Turing Model of Computation and its Applications to Logic, Mathematics, Philosop...

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

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

InhaltsangabePreface. Schedule. List of Participants. Complexity hierarchies derived from reducti...

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 bookgathers the proceedings of the conference 'Cultures of Mathematics andLogic,' he...