"Computer Science Logic, 16 conf., CSL 2002" - читать интересную книгу автора (Julian Bradfield)