Title: Advanced Logic for Applications
Subjects: Logic, symbolic and mathematical