3 books • 4 series
Higher-Order Computability (Theory and Applications of Computability)
Logic Colloquium 2005 (Lecture Notes in Logic)
Recursion on the Countable Functionals (Lecture Notes in Mathematics, #811) (Lecture Notes in Mathematics; 811, #811)