Title: Logic, philosophy and computer science
Subjects: Logic programming