Here you can find some solutions of the book "Language Proof and Logic". The files are in prf format, which means that it needs to be visualized at the program Fitch.
This is a repository for study purpose. Feel free to contribute.
Solutions for "Language Proof and Logic".