LANGUAGE PROOF AND LOGIC (CD INCLUDED)

THIS TEXTBOOK/SOFTWARE PACKAGE COVERS FIRST-ORDER LANGUAGE IN A METHOD APPROPRIATE FOR A WIDE RANGE OF COURSES, FROM FIRST LOGIC COURSES FOR UNDERGRADUATES (PHILOSOPHY, MATHEMATICS, AND COMPUTER SCIENCE) TO A FIRST GRADUATE LOGIC COURSE. THE ACCOMPANYING ONLINE GRADING SERVICE INSTANTLY GRADES SOLUTIONS TO HUNDREDS OF COMPUTER EXERCISES. THE SECOND EDITION OF "LANGUAGE, PROOF AND LOGIC" REPRESENTS A MAJOR EXPANSION AND REVISION OF THE ORIGINAL PACKAGE AND INCLUDES APPLICATIONS FOR MOBILE DEVICES, ADDITIONAL EXERCISES, A DEDICATED WEBSITE, AND INCREASED SOFTWARE COMPATIBILITY AND SUPPORT.