The Lambda Calculus. Its Syntax and Semantics Autor Henk Barendregt 30 apr 2012 Paperback Preț: 202.75 lei 253.44 lei 6-8 săpt. -20%
Types for Proofs and Programs Editat de Henk Barendregt et al. 20 mai 1994 Paperback Preț: 327.48 lei 409.36 lei 6-8 săpt. -20%