Releases by Ulrich Kohlenbach

All3
Hardcover Book1
Paperback Book2

In stock at iMusic Show unavailable items

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 (Paperback Book) [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 (Paperback Book) [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 (Hardcover Book) [2008 edition] (2008)

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

Ulrich Kohlenbach