Solutions for the book "Language Proof and Logic".
-
Updated
Aug 26, 2024
Solutions for the book "Language Proof and Logic".
📚Solutions to Language, Proof and Logic (2nd Edition)
Analytic tableau proof editor for Tarski's World
Philosophy 09 Pierce College Online course (LPL)
Add a description, image, and links to the lpl topic page so that developers can more easily learn about it.
To associate your repository with the lpl topic, visit your repo's landing page and select "manage topics."