Combinatory Logic: Pure, Applied and Typed
ISBN: 9780429075285
Platform/Publisher: Taylor & Francis / Chapman and Hall/CRC
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited
Subjects: Computer Science; Mathematics & Statistics; Algorithms & Complexity; Advanced Mathematics; Discrete Mathematics;

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 auth


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

hidden image for function call