Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Combinatory Logic : Pure, Applied and Typed, PDF eBook

Combinatory Logic : Pure, Applied and Typed PDF

Part of the Discrete Mathematics and Its Applications series

PDF

Please note: eBooks can only be purchased with a UK issued credit card and all our eBooks (ePub and PDF) are DRM protected.

Description

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

Information

Other Formats

Information