## Combinatory Logic, Volume 1 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Common terms and phrases

algorithm appear application argument atoms axiom schemes basic basis bound called certain Chapter character Church combinators combinatory logic complete component concerned conclusion consider consistency constant construction contains contraction converse Corollary corresponding defined definition derived discussion elementary equality equivalent example exists expressed extension fact follows formal system function further give given hand Hence holds hypothesis indicated induction instance interpretation introduced intuitive Lemma letters meaning natural necessary notation Note notion obtained occurrence operation possible postulates predicate premise present primitive principal proof proper properties prove redex reduction reference regard relation relative Remark replacement require residual respectively restricted result Rosser rules satisfies sense sequence specifications stage standard statement step substitution sufficient suppose symbols taken Theorem theory true Type unique valid variables