Search Results

This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of t

"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretic

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

Recursive Model Theory