Type Theory and Formal Proof
Autor Rob Nederpelt et al.
14 mar 2016
Hardback
Preț: 591.15 lei 738.94 lei
6-8 săpt.
-20%
Cărți de Rob Nederpelt
A Modern Perspective on Type Theory
Autor F. D. Kamareddine et al.
9 iun 2004
Hardback
Preț: 1158.76 lei 1413.12 lei
6-8 săpt.
-18%