Language, Proof, and Logic
David Barker-Plummer, John Etchemendy, Jon Barwise
Centre for the Study of Language & Information, 2011
145,50 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9781575866321
- ISBN-10
- 1575866323
- Publisher
- Centre for the Study of Language & Information
- Year
- 2011
- Publication date
- 2011-10-15
- Pages
- 650
- Dimensions
- 240x203x44
- Weight
- 1116