Computational Logic and Proof Theory Editat de Georg Gottlob et al. 13 aug 1997 Paperback Preț: 378.91 lei 6-8 săpt.