Ulrich Kohlenbach Books
Logic language information and computation
By Workshop On Logic Language Information And Computation 20th 2013 Darmstadt Germany
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Commun...
Read More