"Computer Science Logic, 13 conf., CSL '99" - читать интересную книгу автора (Jörg Flum, Mario Rodriguez-Artalejo)