Cărți de Ulrich Kohlenbach

Logic Colloquium 2007

Lecture Notes in Logic, nr. 35

Editat de Françoise Delon et al.

5 mar 2014

Preț: 305^.69 lei

6-8 săpt.

Applied Proof Theory: Proof Interpretations and their Use in Mathematics

Springer Monographs in Mathematics

Autor Ulrich Kohlenbach

26 mai 2008

Preț: 768^.64 lei 937^.37 lei

6-8 săpt.

-18%

Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8652

Editat de Ulrich Kohlenbach et al.

24 iul 2014

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8071

Editat de Leonid Libkin et al.

8 aug 2013

Preț: 292^.40 lei 365^.50 lei

6-8 săpt.

-20%