Title: Basic applied logic
Subjects: Logic