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.
forked from Jumaruba/LPL-solutions
-
Notifications
You must be signed in to change notification settings - Fork 0
antbz/LPL-solutions
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Solutions for "Language Proof and Logic".
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published