Title: Language, proof, and logic
Subjects: Logic