"Computer Science Logic, 5 conf., CSL '91" - читать интересную книгу автора (Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter)