Language, Proof & Logic

Informationen zum Autor Dave Barker-Plummer is a senior research scientist with the Openproof Project at the Center for the Study of Language and Information (CSLI). Klappentext Rev. ed. of: Language, proof, and logic / Jon Barwise & John Etchemendy. Zusammenfassung 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.

Product details

• Authors: Dave Barker Plummer, Dave Barker-Plummer, Dave/ Barwise Barker-Plummer, David Barker-Plummer, Jon Barwise, John Etchemendy
• Publisher: University Of Chicago Press
• Languages: English
• Product format: Undefined
• Released: 01.10.2011
• EAN: 9781575866321
• ISBN: 978-1-57586-632-1
• Subjects: Education and learning > Teaching preparation > Vocational needs; Non-fiction book > Philosophy, religion > Philosophy: general, reference works