Releases von Ulrich Kohlenbach

Auf Lager bei iMusic Nicht verfügbare Artikel anzeigen

Cover for Ulrich Kohlenbach · Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014. Proceedings - Lecture Notes in Computer Science (Taschenbuch) [2014 edition] (2014)

Logic, Language, Information, an... (2014)

Ulrich Kohlenbach

Cover for Ulrich Kohlenbach · Applied Proof Theory: Proof Interpretations and their Use in Mathematics - Springer Monographs in Mathematics (Taschenbuch) [Softcover reprint of hardcover 1st ed. 2008 edition] (2010)

Softcover reprint of hardcover 1st ed. 2008 edition

Applied Proof Theory: Proof Inte... (2010)

Ulrich Kohlenbach

Cover for Ulrich Kohlenbach · Applied Proof Theory: Proof Interpretations and their Use in Mathematics - Springer Monographs in Mathematics (Gebundenes Buch) [2008 edition] (2008)

Gebundenes Buch

Applied Proof Theory: Proof Inte... (2008)

Ulrich Kohlenbach