|
|||||||||||||||||||||||||||||||||||
|
1 Review
|
Average Customer Review
Share your thoughts with other customers
Create your own review
|
|
Most Helpful First | Newest First
|
|
5.0 out of 5 stars
looks interesting,
By
This review is from: Elements of Combinatory Logic. (Paperback)
I bought this because it's hard to find, and is not in my local libraries. Don't have time to read it yet, may review it later.Table of contents: Preface Intro. The method of subordinate proofs Ch1. Functions . Remark on functions . Functional notation in combo logic . The class of Q-functions Ch2. Boolean concepts and identity . Rules for negation, conjunction and disjunction . Rules for identity . Boolean identities Ch3. Combinators . I and K . C and T . B and W . Abstraction Ch4. Foundations of arithmetic . Multiplication, addition, and exponentiation . The natural nums . Universality and existence . Less-or-equal and less Ch5. Recursion and circuits . Some special functions . Recursive functions . Self-referentially defined functions . Sequential circuits Ch6. A theory of propositions . The system QD . Definite class and relations Biblio Index |
|
Most Helpful First | Newest First
|
|
Elements of Combinatory Logic by Frederic B. Fitch (Hardcover - September 19, 1974)
Used & New from: $124.38
| |
| ||
