"Effective logic computation" - читать интересную книгу автора (Truemper K.)