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 Електронні книги від Ulrich Kohlenbach
Ulrich Kohlenbach: Applied Proof Theory: Proof Interpretations and their Use in Mathematics
…
PDF
Англійська
€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 Communi …
PDF
Англійська
DRM
€51.21
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 Communi …
PDF
Англійська
DRM
€51.58
