An Introduction to the PL/CV2 Programming Logic Autor R. L. Constable et al. apr 1982 Paperback Preț: 322.59 lei 403.23 lei 6-8 săpt. -20%
Implementing Mathematics with the Nuprl Proof Development System Autor R. L. Constable Paperback Preț: 91.71 lei 3-5 săpt.