Language, Proof, and Logic - John Etchemendy, David Barker-Plummer, Jon Barwise

A textbook/software package that covers first-order language in a method appropriate for a wide…