%0 Book
%A / Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz
%T Logic, Language, Information, and Computation
%U /book/93609614/Logic-Language-Information-and-Computation/