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