P In recent years, classical computability has expanded beyond its original scope to address iss...
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...
This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, ...
'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...
This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Con...
The notion of complexity is an important contribution of logic to theoretical computer science an...
This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, ...
'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...
This book constitutes the refereed proceedings of the first International Conference on Computabi...