"Computer Science Logic, 22 conf., CSL 2008" - читать интересную книгу автора (Michael Kaminski, Simone Martini)