"Mechanizing Mathematical Reasoning" - читать интересную книгу автора (Dieter Hutter, Werner Stephan)