Title: Meta-logics and logic programming
Subjects: Logic programming, Symbolic and mathematical Logic, Logic, symbolic and mathematical