Games Iteration Numbers: A Philosophical Introduction to Computability Theory, Paperback/Luca M. Possati
Luca M. Possati
The Lambda Calculus. Its Syntax and Semantics, Paperback/Henk Barendregt
Henk Barendregt
Logic, Intelligence and Artifices: Tributes to Tarcisio H. C. Pequeno, Paperback/Jean-Yves Beziau
Jean Yves Beziau
Logics of Proofs and Justifications, Paperback/Roman Kuznets
Roman Kuznets
Implementing Programming Languages. an Introduction to Compilers and Interpreters, Paperback/Aarne Ranta
Aarne Ranta
