Logic for Programming and Automated Reasoning Editat de Michel Parigot et al. 23 oct 2000 Paperback Preț: 388.66 lei 43-57 zile