"Computer Science Logic, 18 conf., CSL 2004" - читать интересную книгу автора (Jerzy Marcinkowski)