"Combinators,lambda-terms and proof theory" - читать интересную книгу автора (Soren Stenlund)