Logic, Computation, Hierarchies

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

Logic, Computation, Hierarchies

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

The Nature of Computation: Logic, Algorithms, Applications

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

Handbook of Computability and Complexity in Analysis

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

Infinity in Logic and Computation

Handbook of Computability and Complexity in Analysis

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