Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz
Logic, Language, Information, and Computation
- Springer 2013
- Lecture Notes in Computer Science .
9783642399923
Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Symbolic and Algebraic Manipulation; Computer Science, general