Title: Logic, Language, Information, and Computation
Subjects: Logic, Mathematics, Logic, symbolic and mathematical, Artificial intelligence, Computer science, Artificial Intelligence (incl. Robotics), Computer software, Algebra, Data processing, Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Algorithm Analysis and Problem Complexity