"Logic colloquium 76: Proceedings Oxford, 1976" - читать интересную книгу автора (Gandy R.O., Hyland J.M.E. (eds.))