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%