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 por Ulrich Kohlenbach
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
Inglês
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
Inglês
DRM
€51.58