Title: Meta-Logics and Logic Programming
Subjects: Logic programming, Logic, symbolic and mathematical