Logic, Language, Information, and Computation 20th International Workshop, Wollic 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings by Ulrich Kohlenbach | Menrva Books | MenrvaBooks