Editura: College publications, 5 titluri

Coperta cărții Games Iteration Numbers: A Philosophical Introduction to Computability Theory, Paperback/Luca M. Possati

Games Iteration Numbers: A Philosophical Introduction to Computability Theory, Paperback/Luca M. Possati

Luca M. Possati

Coperta cărții The Lambda Calculus. Its Syntax and Semantics, Paperback/Henk Barendregt

The Lambda Calculus. Its Syntax and Semantics, Paperback/Henk Barendregt

Henk Barendregt

Coperta cărții Logic, Intelligence and Artifices: Tributes to Tarcisio H. C. Pequeno, Paperback/Jean-Yves Beziau

Logic, Intelligence and Artifices: Tributes to Tarcisio H. C. Pequeno, Paperback/Jean-Yves Beziau

Jean Yves Beziau

Coperta cărții Logics of Proofs and Justifications, Paperback/Roman Kuznets

Logics of Proofs and Justifications, Paperback/Roman Kuznets

Roman Kuznets

Coperta cărții Implementing Programming Languages. an Introduction to Compilers and Interpreters, Paperback/Aarne Ranta

Implementing Programming Languages. an Introduction to Compilers and Interpreters, Paperback/Aarne Ranta

Aarne Ranta