"Models and Computability: Invited Papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997" - читать интересную книгу автора (S. Barry Cooper, John K. Truss)