Elements of Combinatory Logic [Hardcover]

Frederic Brenton Fitch (Author)

Product Details

• Hardcover: 170 pages
• Publisher: Yale University Press (September 19, 1974)
• Language: English
• ISBN-10: 0300015232
• ISBN-13: 978-0300015232
• Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
• Amazon Best Sellers Rank: #2,586,937 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

Most Helpful Customer Reviews

5.0 out of 5 stars looks interesting, January 14, 2012

By 

King Yin Yan (Lantau, Hong Kong) - See all my reviews
(REAL NAME)   

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