"Logic Colloquium'76: Proceedings of a conference held in Oxford in July 1976 (Studies in Logic and the Foundations of Mathematics, 87)" - читать интересную книгу автора (R. O. GANDY, J. M. E. HYLAND)