+- MKLab (https://mklab.gr)
+-- Forum: [INDEX] (https://mklab.gr/forumdisplay.php?fid=1)
+--- Forum: MATHEMATICS (https://mklab.gr/forumdisplay.php?fid=3)
+---- Forum: BOOKS (https://mklab.gr/forumdisplay.php?fid=6)
+----- Forum: Foundations of Mathematics (https://mklab.gr/forumdisplay.php?fid=46)
+----- Thread: Language, Proof, and Logic [Barwise and Etchemendy] (/showthread.php?tid=133)
Language, Proof, and Logic [Barwise and Etchemendy] - mklabgr - 06-08-2026
This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics.
PAGE