"The clausal theory of types" - читать интересную книгу автора (D. A. Wolfram)