Recursion on the Countable Functionals (Lecture Notes in Mathematics, 811)

Techniques of Admissible Recursion Theory (Lecture Notes in Mathematics, 1106)

Computability (Monographs in Theoretical Computer Science. An EATCS Series)

Extensional Gödel Functional Interpretation: A Consistensy Proof of Classical Analysis (Lecture Notes in Mathematics, 306)

Higher-Order Computability

Computability Theory and Applications The Art of Classical Computability

Computability A Mathematical Sketchbook

Computations in Higher Types (Lecture Notes in Mathematics, 574)

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 (Lecture Notes in Mathematics, 1432)

Complexity and Structure (Lecture Notes in Computer Science, 211)

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories (Lecture Notes in Mathematics, 611)

Description