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
