Language, Proof and Logic
We have chosen to make hints and solutions to selected exercises in Language, Proof, and Logic available for download. Instructors should be aware that students have access to these files, and should take that into account when they write assignments. Some may choose to assign these exercises to their classes, while others may prefer to direct students to these files for extra practice.
If you feel that a solution or hint should be changed in any way, please let us know.
The files are saved in pdf format. Since files saved in this format are rather large, we present them by chapter. The Index is a pdf file containing a list of all the exercises for which solutions are currently available.