Logic, Language, Information, and Computation - Luke Ong, Ruy Queiroz ((Lecture Notes in Computer Science))