The Resolution Calculus Texts in Theoretical Computer Science. An EATCS Series Autor Alexander Leitsch 28 sep 2011 Paperback Preț: 373.93 lei 43-57 zile
Computational Logic and Proof Theory Editat de Georg Gottlob et al. 13 aug 1997 Paperback Preț: 380.05 lei 43-57 zile