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.
| ISBN: | 9781032921181 |
| Publication date: | 14th October 2024 |
| Author: | Katalin Bimbó |
| Publisher: | Chapman & Hall/CRC an imprint of CRC Press |
| Format: | Paperback |
| Pagination: | 358 pages |
| Series: | Discrete Mathematics and Its Applications |
| Genres: |
Computer science Set theory Discrete mathematics Algorithms and data structures |
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.
Combinatory Logic features in the following genres: Computer science, Set theory, Discrete mathematics, Algorithms and data structures
Combinatory Logic is available in Paperback, Hardback
Combinatory Logic was written by Katalin Bimbó and published by Chapman & Hall/CRC an imprint of CRC Press
Combinatory Logic has 358 pages
Yes it is part of Discrete Mathematics and Its Applications series
£56.69