"Computer Science Logic, 8 conf., CSL '94" - читать интересную книгу автора (Leszek Pacholski, Jerzy Tiuryn)