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.
Fourteen papers from a July 1997 workshop address such topics as priority method in generalized computability, jump traces with large gaps, compositions of permutations and algorithmic reductibilities, hyperarithmetical functions and algebraicity, and algebras of recursive functions. The book also contains the list of open problems in recursion the