This package contains:
- The Language, Proof and Logic textbook
- An updated and enhanced version of the award-winning Tarski's World program, that teaches the basics of first-order logic
- Fitch, a new program that allows the creation and checking of natural deduction proofs
- Boole, a new program that facilitates the creation of truth tables
- Submit, an online grading facility that allows students to submit solutions to hundreds of computer-based exercises for immediate assessment
- The complete manuscript of the text in Adobe PDF format
- LPL Software Manual
All programs are cross-platform. There is no need to purchase separate Macintosh and Windows versions. Additional material and technical support are available at cslipublications.stanford.edu/LPL
Shopping Cart
![[jacket image]](http://www.press.uchicago.edu/Images/Chicago/9781575863740.jpeg)
![[Add to cart]](http://www.press.uchicago.edu/Images/cart_add.gif)
Questions about this title? email