"Computer Science Logic, 12 conf., CSL '98" - читать интересную книгу автора (Georg Gottlob, Etienne Grandjean, Katrin Seyr)