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