"Computer Science Logic, 9 conf., CSL '95" - читать интересную книгу автора (Hans Kleine Buening)