Kohlenbach, Ulrich. - ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author Kohlenbach, Ulrich.

Showing 1 - 3 of 3 results

Search Results

Cover image for Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

by Kohlenbach, Ulrich
2014
Format: Electronic

Location
Access Content Online

Cover image for Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

by Libkin, Leonid
2013
Format: Electronic

Location
Access Content Online

Cover image for Applied proof theory

Applied proof theory

by Kohlenbach, U.
2008
Format: Book

Joyner Library - General Stacks

Call Number: QA 9.54 .K64 2008