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.36
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