Releases med Ulrich Kohlenbach

På lager hos iMusic Vis utilgjengelige utgivelser

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 (Pocketbok) [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 (Pocketbok) [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 (Innbunden bok) [2008 edition] (2008)

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

Ulrich Kohlenbach