Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this volu...

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

Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on ...

In the last decades, mathematical logic has developed into a technically quite sophisticated a...

Computable analysis is the modern theory of computability and complexity in analysis that arose o...

Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on ...

Computable analysis is the modern theory of computability and complexity in analysis that aros...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this v...

Computable analysis is the modern theory of computability and complexity in analysis that aros...

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