"Models and computability: Invited papers from Logic Colloquium '97" - читать интересную книгу автора (S. Barry Cooper, John K. Truss)