Title: Logical Frameworks for Truth and Abstraction
Subjects: Logic, symbolic and mathematical, Truth