Types for Proofs and Programs Editat de Thorsten Altenkirch et al. 22 sep 1999 Paperback Preț: 317.08 lei 396.35 lei 6-8 săpt. -20%