"Computer Science Logic, 11 conf., CSL '97" - читать интересную книгу автора (Mogens Nielsen, Wolfgang Thomas)