"Introduction to Combinatory Logic" von J. P. Seldin ist ein umfassendes Werk, das sich mit den Grundlagen und Anwendungen der Kombinatorischen Logik befasst. Dieses Buch ist Teil der London Mathematical Society Lecture Note Series und...

"Introduction to Combinators and Lambda Calculus" von J. P. Seldin ist ein umfassendes Lehrbuch, das sich mit den Grundlagen und Anwendungen der Kombinatorik und des Lambda-Kalküls beschäftigt. Das Buch gehört zur London Mathematical...