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