The Combinatory Programme (Progress in Theoretical Computer Science)

Explore the foundations of computation with “The Combinatory Programme” by Erwin Engeler. This paperback offers a rigorous yet accessible approach to understanding theoretical computer science through combinatory logic. Delve into topics like combinatory algebras and fixed-point theorems.

Published in the “Progress in Theoretical Computer Science” series, this book provides a valuable perspective for students and researchers. Gain a deeper understanding of algorithms and the capabilities of computation. ISBN: 9781461242680.