A Modern Perspective on Type Theory Applied Logic Series, nr. 29 Autor F. D. Kamareddine et al. 9 iun 2004 Hardback Preț: 1158.76 lei 1413.12 lei 6-8 săpt. -18%