Elements of Combinatory Logic

Cover......Page 1
Title......Page 2
Publication Data......Page 3
Table of Contents......Page 4
Preface......Page 6
Introduction: The Method of Subordinate Proofs......Page 8
1. Remarks on Functions......Page 36
2. Functional Notation of Combinatory Logic......Page 38
3. The Class of Q-Functions......Page 40
4. Rules for Negation, Conjunction, and Disjunction......Page 44
5. Rules for Identity......Page 48
6. Boolean Identities......Page 58
7. The Combinators I and K......Page 60
8. The Combinators C and T......Page 64
9. The Combinators B and W......Page 67
10. Abstraction......Page 75
11. Multiplication, Addition, and Exponentiation......Page 85
12. The Natural Numbers......Page 90
13. Universality and Existence......Page 103
14. Less-or-Equal and Less......Page 111
15. Some Special Functions......Page 121
16. Recursive Functions......Page 126
17. Self-Referentially Defined Functions......Page 131
18. Sequential Circuits......Page 135
19. The System QD......Page 147
20. Definite Classes and Relations......Page 153
C-F......Page 162
G-H-K-O-Q-R......Page 164
S-T......Page 165
A-B-C-D......Page 166
E-F-I-K-L-M-N......Page 167
P-R-S......Page 168
T-U-W-Z-Φ-0-1-2-3-4-≤-<-≮......Page 169