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