Cărți de Ulrich Kohlenbach

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ț: 313^.01 lei 391^.25 lei

6-8 săpt.

-20%

Logic Colloquium 2007

Lecture Notes in Logic, nr. 35

Editat de Françoise Delon et al.

5 mar 2014

Preț: 300^.87 lei

6-8 săpt.

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ț: 288^.00 lei 360^.00 lei

6-8 săpt.

-20%

Applied Proof Theory: Proof Interpretations and their Use in Mathematics

Springer Monographs in Mathematics

Autor Ulrich Kohlenbach

26 mai 2008

Preț: 757^.37 lei 923^.61 lei

6-8 săpt.

-18%