"Logic colloquium '82: Proceedings Florence, 1982" - читать интересную книгу автора (G. Lolli, etc.)