Language Proof and Logic is available as a physical book with the software included on CD and as a downloadable package of software plus the book in PDF format. The all-electronic version is available from Openproof at ggweb.stanford.edu.The textbook/software package covers first-order language in a method appropriate for first and second courses in logic. An on-line grading services …