Showing 1 - 3 results of 3 for search 'Kohlenbach, Ulrich', query time: 0.02s Refine Results
  1. 1
    Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
    by Kohlenbach, Ulrich
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings /
    Published 2013
    Other Authors: “…Kohlenbach, Ulrich…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings /
    Published 2014
    Other Authors: “…Kohlenbach, Ulrich…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search