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
Methods of Cut-Elimination
Autor Matthias Baaz et al.
17 ian 2011
Hardback
Preț: 621.23 lei 730.87 lei
43-57 zile
-15%