Filtre: Springer

Cărți de Alexander Leitsch

Computational Logic and Proof Theory

Editat de Georg Gottlob et al.

13 aug 1997

Preț: 378^.91 lei

43-57 zile

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%