The Lambda Calculus. Its Syntax and Semantics Autor Henk Barendregt 30 apr 2012 Paperback Preț: 201.47 lei 251.83 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%