00604nam a2200133Ia 4500008004100000020002200041041001200063100005000075245005000125260003200175440003800207650002100245650020400266231221s9999    xx            000 0 und d  a978-3-642-39992-3  aEnglish  aLeonid Libkin, Ulrich Kohlenbach, Ruy Queiroz 0aLogic, Language, Information, and Computation  c2013bSpringer USaNew York  aLecture Notes in Computer Science  aComputer Science  aMathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Symbolic and Algebraic Manipulation; Computer Science, general; Computer Science, general; Computer Science, general