Title: Logic, meaning, and computation
Subjects: Symbolic and mathematical Logic