"Logic colloquium '85: Proceedings Orsay, 1985" - читать интересную книгу автора (Paris Logic Group)