Menu
Jon Barwise

Jon Barwise - Books

Language, Proof, And Logic

2024
"Language, Proof, and Logic" is a comprehensive textbook that introduces students to the p