Title: Logical frameworks
Subjects: Logic, Frames (Information theory), Automatic theorem proving, Symbolic and mathematical Logic, Logic programming