This textbooksoftware package covers first-order language in a method appropriate for a wide range of courses from first logic courses for undergraduates (philosophy mathematics & 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 & Logic represents a major expansion & revision of the original package &
Includes:: applications for mobile devices additional exercises a dedicated website & increased software compatibility & support