Erkunden Sie die elegante Logik des Lambda‑Calculus und der Kombinatorik in diesem kompakt strukturierten Buch, das durch anschauliche Beispiele, klare Definitionen und einen historischen Überblick komplexe Ideen greifbar macht.