"Computer Science Logic, 14 conf.EACSL" - читать интересную книгу автора (Peter G. Clote, Helmut Schwichtenberg)