Title: Logic for computer science
Subjects: Symbolic and mathematical Logic, Logic programming, Fuzzy logic, Artificial intelligence, Adaptive control systems