Title: Applied logic
Subjects: Study and teaching, Logic