Filtre: Hardback

Cărți de Alexander Leitsch

First-Order Schemata and Inductive Proof Analysis

Autor Alexander Leitsch et al.

3 ian 2026

Preț: 912^.15 lei 1200^.20 lei

17-23 zile | 6-12 zile

-24%

Automated Model Building

Autor Ricardo Caferra et al.

13 sep 2004

Preț: 914^.45 lei 1115^.18 lei

43-57 zile

-18%

Methods of Cut-Elimination

Trends in Logic, nr. 34

Autor Matthias Baaz et al.

25 feb 2013

Preț: 615^.66 lei 724^.31 lei

43-57 zile

-15%