First-Order Schemata and Inductive Proof Analysis
Autor Alexander Leitsch et al.
3 ian 2026
Hardback
Preț: 941.20 lei 1238.43 lei
38-44 zile
-24%
Cărți de Alexander Leitsch
Automated Model Building
Autor Ricardo Caferra et al.
13 sep 2004
Hardback
Preț: 956.55 lei 1166.53 lei
43-57 zile
-18%
Methods of Cut-Elimination
Autor Matthias Baaz et al.
25 feb 2013
Paperback
Preț: 643.63 lei 757.22 lei
43-57 zile
-15%