Title: Computer Science Logic
Subjects: Logic design, Symbolic and mathematical Logic, Computer science, Artificial intelligence