"Computer Science Logic, 20 conf., CSL 2006" - читать интересную книгу автора (Zoltán Ésik)