"Logic colloquium '96: Proc. San Sebastian" - читать интересную книгу автора (Jesus M. Larrazabal, Daniel Lascar, Grigori Mints)