Computational Logic and Proof Theory
Editat de Georg Gottlob et al.
13 aug 1997
Paperback
Preț: 378.91 lei
43-57 zile
Cărți de Alexander Leitsch
First-Order Schemata and Inductive Proof Analysis
Autor Alexander Leitsch et al.
13 ian 2026
Hardback
Preț: 1006.97 lei 1258.72 lei
Nepublicat încă
-20% Precomandă