Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
Katalin Bimbo is an assistant professor in the Department of Philosophy at the University of Alberta in Edmonton, Canada.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Combinatory Logic: Pure, Applied and Typed (Discrete...
Stock Image
Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 409576281
Buy New
US$ 87.27
Shipping:
US$ 8.51
From United Kingdom to U.S.A.
Quantity: 3 available
Stock Image
Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26404626566
Stock Image
Combinatory Logic : Pure, Applied and Typed
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 48136466
Buy Used
US$ 82.54
Shipping:
US$ 19.64
From United Kingdom to U.S.A.
Quantity: 10 available
Stock Image
Combinatory Logic : Pure, Applied and Typed
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 48136466-n
Buy New
US$ 94.71
Shipping:
US$ 19.64
From United Kingdom to U.S.A.
Quantity: 10 available
Stock Image
Combinatory Logic: Pure, Applied and Typed
Published by
Taylor & Francis Ltd, 2024
ISBN 10: 1032921188
ISBN 13: 9781032921181
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days. 453. Seller Inventory # B9781032921181
Buy New
US$ 94.72
Shipping:
US$ 20.01
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 18404626572
Seller Image
Combinatory Logic : Pure, Applied and Typed
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware - Combinatory logic is a versatile field that is connected to philosophical, mathematical, and computational logic. This comprehensive reference on combinatory logic covers results in the field from the last four decades along with classical information on the topic. The author makes combinatory logic simple to understand while providing working k. Seller Inventory # 9781032921181
Stock Image
Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA82910329211886
Buy New
US$ 186.15
Shipping:
US$ 32.74
From United Kingdom to U.S.A.
Quantity: 1 available