"Computer Science Logic, 15 conf., CSL 2001, 10 conf.EACSL" - читать интересную книгу автора (Laurent Fribourg)