Shop Costumes Learn more nav_sap_plcc_6M_fly_beacon $5 Albums All-New Fire TV Stick with Voice Remote Beauty Videos Introducing Handmade New Kitchen Scale from AmazonBasics Amazon Gift Card Offer redoaks redoaks redoaks  Amazon Echo Starting at $49.99 Kindle Voyage Nintendo Digital Games Shop Now Kids Halloween

Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your email address or mobile phone number.

Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications) 1st Edition

1 customer review
ISBN-13: 978-1439800003
ISBN-10: 1439800006
Why is ISBN important?
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Sell yours for a Gift Card
We'll buy it for $11.93
Learn More
Trade in now
Have one to sell? Sell on Amazon
Buy new
Only 3 left in stock (more on the way).
Ships from and sold by Gift-wrap available.
List Price: $115.95 Save: $40.14 (35%)
21 New from $75.81
Combinatory Logic: Pure, ... has been added to your Cart
More Buying Choices
21 New from $75.81 15 Used from $88.75
Free Two-Day Shipping for College Students with Amazon Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student

Save up to 80% on Textbook Rentals Rent Textbooks
$75.81 FREE Shipping. Only 3 left in stock (more on the way). Ships from and sold by Gift-wrap available.

Editorial Reviews


For beginners, it is a compact introduction, including exercises, to the classical syntactic theory of combinators with some pointers to their models and their relation with λ-calculus. More advanced readers may find in the book much information on the connections between combinators and non-classical and substructural logics that are now a prominent topic in several areas, from philosophical logic to theoretical computer science, information that is mostly scattered through the research literature.

One of the commendable aspects of the book is its extensive and up-to-date bibliography, which deals with CL and other relevant topics in logic; it will surely aid many readers who may need to brush up on background information in the course of their study.
—Computing Reviews, 2012

About the Author

Katalin Bimbo is an assistant professor in the Department of Philosophy at the University of Alberta in Edmonton, Canada.


Best Books of the Month
Best Books of the Month
Want to know our Editors' picks for the best books of the month? Browse Best Books of the Month, featuring our favorite new books in more than a dozen categories.

Product Details

  • Series: Discrete Mathematics and Its Applications
  • Hardcover: 357 pages
  • Publisher: Chapman and Hall/CRC; 1 edition (July 27, 2011)
  • Language: English
  • ISBN-10: 1439800006
  • ISBN-13: 978-1439800003
  • Product Dimensions: 0.8 x 6.2 x 9.5 inches
  • Shipping Weight: 1.2 pounds (View shipping rates and policies)
  • Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
  • Amazon Best Sellers Rank: #3,735,666 in Books (See Top 100 in Books)

More About the Author

Katalin Bimbó is a logician. She works at the University of Alberta in Canada. Earlier, she held academic positions at other universities including Indiana University Bloomington (USA), Victoria University of Wellington (New Zealand) and the Australian National University (Australia).

Katalin Bimbó's main research interests are in the field of nonclassical logics such as combinatory logic, relevance logics, modal logics, substructural and structurally free logics. She solved (with J. Michael Dunn) a long-open problem concerning the decidability of the logic of implicational ticket entailment -- using sequent calculi. Her research spans the semantics and the proof theory of classical and nonclassical logics.

Customer Reviews

5 star
4 star
3 star
2 star
1 star
See the customer review
Share your thoughts with other customers

Most Helpful Customer Reviews

2 of 2 people found the following review helpful By King Yin Yan on September 23, 2011
Format: Hardcover Verified Purchase
Table of contents:
1. elements of combinatory logic
2. main theorems
3. recursive functions and arithmetic
4. connections to lambda-calculi
5. (in)equational combinatory logic
6. models
7. dual and symmetric combinatory logics
8. applied combinatory logic
9. typed combinatory logic

I have just skimmed through the book. It seems to be written in a very clear style, explaining the rationale behind the study of combo logic and its historical roots.

The author is interested in applying combo logic to the study of linear / substructural logics, whereas I'm interested in the untyped aspect of illative logic.

Ch 7 deals with duality, ie, where f(n) is the function f applied to the number n, it can be dually encoded as the number n applied to f. This is new to me.

Ch 8 deals briefly with illative combo logic.

My library doesn't have this book, so I bought it and keep it as a reference.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse

Set up an Amazon Giveaway

Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more
Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)
This item: Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)
Price: $75.81
Ships from and sold by
Want to discover more products? Check out this page to see more: mathematical logic