"Logic colloquium '87: Proceedings Granada, 1987" - читать интересную книгу автора (H. D. Ebbinghaus, J. Fernandez-Prida, M. Garrido, D. Lascar)