Title: Logic at work
Subjects: Soft computing, Symbolic and mathematical Logic