Language, Proof, And Logic: Second Edition

A textbook/software package that 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. It also includes applications for mobile devices, exercises, and a dedicated website.

• | By (Author): David Barker-Plummer
• | Publisher: Centre for the Study of Language & Information
• | Publication Date: Oct 15, 2011
• | Country of Publication: United States
• | Number of Pages: 650 pages
• | Language: Unknown
• | Binding: Softback
• | ISBN-10: 1575866323
• | ISBN-13: 9781575866321