"Computer Science Logic, 7 conf., CSL '93" - читать интересную книгу автора (Egon Börger, Yuri Gurevich, Karl Meinke)