Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Ulrich Kohlenbach | lit.salon

Author

Ulrich Kohlenbach

3 works

2010–2013 across 2 dated works

No biography is available yet.

Start with

Applied Proof Theory Proof Interpretations and Their Use in Mathematics2010
Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings2013
With Pablo Barceló, Ruy J G B de Queiroz

Books

3 works

Featured (2)Featured (2)All (3)All (3)

Search booksSort books

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings2013
With Pablo Barceló, Ruy J G B de Queiroz
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Applied Proof Theory Proof Interpretations and Their Use in Mathematics2010
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Logic Colloquium 20072006
With Françoise Delon, Penelope Maddy, Frank Stephan
6 editions
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Ulrich Kohlenbach.

The conversation is still open.

There is no public salon activity to show for Ulrich Kohlenbach yet.