Category Theory and Computer Science Editat de David H. Pitt et al. 23 aug 1989 Paperback Preț: 326.05 lei 407.56 lei 6-8 săpt. -20%
Types for Proofs and Programs Editat de Peter Dybjer et al. 18 oct 1995 Paperback Preț: 318.06 lei 397.57 lei 6-8 săpt. -20%