Get Free Shipping on orders over $79
Combinatory Logic : Pure, Applied and Typed - Katalin Bimbó

Combinatory Logic

Pure, Applied and Typed

By: Katalin Bimbó

Paperback | 14 October 2024 | Edition Number 1

At a Glance

Paperback


RRP $120.00

$103.75

14%OFF

or 4 interest-free payments of $25.94 with

 or 

Available for Backorder. We will order this from our supplier however there isn't a current ETA.

Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Functioning as a comprehensive source for current developments of combinatory logic, this book is the only one of its kind to cover results of the last four decades. Using a reader-friendly style, the author presents the most up-to-date research studies. She includes an introduction to combinatory logic before progressing to its central theorems and proofs. The text makes intelligent and well-researched connections between combinatory logic and lambda calculi and presents models and applications to illustrate these connections.

Industry 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.
-MATHEMATICAL REVIEWS, 2012

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

More in Computer Science

Microsoft 365 Excel All-in-One For Dummies : Excel for Dummies - David H. Ringstrom
AI for Business : A Guide to AI Adoption - Jon Whittle

RRP $49.99

$40.75

18%
OFF
Microsoft 365 Excel For Dummies : For Dummies (Computer/Tech) - David H. Ringstrom
Creative Machines : AI, Art & Us - Maya Ackerman

RRP $57.95

$44.75

23%
OFF
New Beginnings : why change is so difficult and how to achieve it - Stefan Klein
The Tech Coup : How to Save Democracy from Silicon Valley - Marietje Schaake
The Shortest History of AI - Toby Walsh

RRP $27.99

$22.75

19%
OFF
Genesis : Artificial Intelligence, Hope, and the Human Spirit - Eric Schmidt
Artificial Intelligence : A Modern Approach, 4th Global Edition - Peter Norvig
Python All-in-One For Dummies : 3rd Edition - Alan Simpson

RRP $74.95

$55.75

26%
OFF
Life 3.0 : Being Human in the Age of Artificial Intelligence - Max Tegmark