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