"Logic Colloquium '87: Proceedings of the Colloquium Held in Granada, Spain July 20-25, 1987 " - читать интересную книгу автора (H. D. Ebbinghaus, J. Fernandez-Prida, M. Garrido, D. Lascar)