"A Theory of Formal Deducibility (Notre Dame Mathematical Lectures, No. 6)" - читать интересную книгу автора (Haskell B. Curry)