Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-3 of 3)
Kohlenbach, U. (Ulrich)
1 2008 Applied proof theory : proof interpretations and their use in mathematics Kohlenbach, U. (Ulrich) Rating: Electronic Resources More...
2 2013 Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings Workshop on Logic, Language, Information and Computation (20th : 2013 : Darmstadt, Germany) Berlin : Springer, [2013] Rating: Electronic Resources More...
3 2014 Logic, language, information, and computation : 21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014, proceedings Workshop on Logic, Language, Information and Computation (21st : 2014 : Valparaíso, Chile) Heidelberg : Springer, [2014] Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Applied proof theory : proof interpretations and their use in mathematics