Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)
Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications) is backordered and will ship as soon as it is back in stock.
Couldn't load pickup availability
Genuine Products Guarantee
Genuine Products Guarantee
We guarantee 100% genuine products, and if proven otherwise, we will compensate you with 10 times the product's cost.
Delivery and Shipping
Delivery and Shipping
Products are generally ready for dispatch within 1 day and typically reach you in 3 to 5 days.
Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics an...
Book Details
-
Publisher: CRC Press
-
Author: Katalin Bimbo
-
Language: English
-
Edition: 1st Edition
-
ISBN: 9781439800003
-
Pages: 358
-
Cover: Hardcover
-
Dimensions: 9.3 x 6.3 x 0.9 inches
About The Book
Combinatory Logic: A Comprehensive Source by Katalin Bimbo offers an in-depth exploration of one of the most versatile areas within logic, deeply connected to philosophical, mathematical, and computational logic. This book stands as a unique and invaluable resource, covering developments in combinatory logic over the last four decades.
Written in a reader-friendly style, the text introduces readers to the foundational concepts of combinatory logic, before progressing to its central theorems and proofs. Bimbo masterfully links combinatory logic to lambda calculi, providing clear explanations of models and applications that illustrate these connections. Whether you're a student or a researcher, the book ensures you gain both a theoretical understanding and practical insights into this fascinating field of logic.
This comprehensive guide is perfect for anyone seeking to delve into combinatory logic and its diverse applications in computer science, mathematics, and philosophy. With its up-to-date research and well-structured content, Combinatory Logic offers an essential foundation for advancing in the study of logic and its interconnected disciplines.
