"Logic Colloquium 96: Proceedings of the Colloquium Held in San Sebastian, Spain, July 9-15, 1996 (Lecture Notes in Logic , Vol 12)" - читать интересную книгу автора (Jesus M. Larrazabal, D. Lascar, G. Mints)