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