"Computer Science Logic, 10 conf., CSL '96" - читать интересную книгу автора (Dirk van Dalen, Marc Bezem)