Type Theory and Formal Proof: An Introduction
Autor Rob Nederpelt et al.
5 noi 2014
Hardback
Preț: 445.76 lei 557.19 lei
3-5 săpt. | 6-12 zile
-20%
Cărți de Rob Nederpelt
A Modern Perspective on Type Theory: From its Origins until Today
Autor F.D. Kamareddine et al.
9 iun 2004
Hardback
Preț: 1099.13 lei 1340.40 lei
6-8 săpt.
-18%