Title: Introduction to Annotated Logics
Subjects: Logic, symbolic and mathematical, Logic programming