Type Theory and Formal Proof: An Introduction
Autor Rob Nederpelt et al.
5 noi 2014
Hardback
Preț: 503.03 lei 628.78 lei
Indisponibil temporar
-20%
Cărți de Rob Nederpelt
A Modern Perspective on Type Theory: From its Origins until Today
Autor F.D. Kamareddine et al.
22 oct 2010
Paperback
Preț: 754.53 lei 920.17 lei
6-8 săpt.
-18%