Here you can find some solutions of the book "Language Proof and Logic".
Some files are in prf format, which means it needs to be visualized at the Fitch program.
With the update (01 semptember 2019) each file can be visualized as jpg format.
If you are not finding a specific problem, search on All_Files. If you still didn't find it, write a report on Issues
This is a repository for study purpose. Feel free to contribute.
Update 01 of September 2019 Added Images of each file. These images can be found grouped at Images. All files can be found at All_Files to make your research easier.
Update 13 of December 2019 Added Proof 13.37
Update 13 of December 2019 Accept merge commits by martineizayaga [chapter 10] and exogenesis18
- The Proof 6.31 prf is not completed.