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