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