Editura: College Publications, 5 titluri

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