## 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 associated atom axiom schemes basic basis called certain Chapter character Church combinators combinatory logic complete component concerned conclusion condition consider consistency constant construction contains contraction converse Corollary corresponding defined definition derived discussion elementary equality equivalent example 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 stratification substitution sufficient suppose symbols taken Theorem theory true Type unique valid variables