Recursion Theory and Complexity Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14–19, 1997

The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research mathematicians, and may also serve as a guide for lectures and for seminars at the graduate level.