Title: Tools for Teaching Logic
Subjects: Study and teaching, Symbolic and mathematical Logic, Computer science, Science, Education, Artificial intelligence, Congresses, Logic, Mathematical Logic and Foundations, Computers and Education, Mathematical Logic and Formal Languages, Artificial Intelligence (incl. Robotics)