Ulrich Kohlenbach has been Professor of Mathematics at the Technische Universität Darmstadt since 2004. He is a managing editor of the “Annals of Pure and Applied Logic”.
4 Ebooks tarafından Ulrich Kohlenbach
Ulrich Kohlenbach: Applied Proof Theory: Proof Interpretations and their Use in Mathematics
…
PDF
İngilizce
€128.39
Ulrich Kohlenbach & Leonid Libkin: Logic, Language, Information, and Computation
Edited in collaboration with Fo LLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and …
PDF
İngilizce
DRM
€50.66
Pablo Barcelo & Ulrich Kohlenbach: Logic, Language, Information, and Computation
Edited in collaboration with Fo LLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and …
PDF
İngilizce
DRM
€50.60