Logic for Programming and Automated Reasoning Editat de Michel Parigot et al. 23 oct 2000 Paperback Preț: 388.66 lei 6-8 săpt.