"Logic colloquium '95: Proc. Haifa 1995" - читать интересную книгу автора (Johann A. Makowsky, Elena V. Ravve)