Filtre: Hardback

Cărți de Alexander Leitsch

Automated Model Building

Applied Logic Series, nr. 31

Autor Ricardo Caferra et al.

13 sep 2004

Preț: 916^.64 lei 1117^.85 lei

6-8 săpt.

-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

6-8 săpt.

-15%

First-Order Schemata and Inductive Proof Analysis

Computer Science Foundations and Applied Logic

Autor Alexander Leitsch et al.

13 ian 2026

Preț: 1006^.97 lei 1258^.72 lei

Nepublicat încă

-20% Precomandă