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.

Produktdetails

• Autoren: Dave Barker Plummer, Dave Barker-Plummer, Dave/ Barwise Barker-Plummer, David Barker-Plummer, Jon Barwise, John Etchemendy
• Verlag: University Of Chicago Press
• Sprache: Englisch
• Produktform: nicht benannt
• Erschienen: 01.10.2011
• EAN: 9781575866321
• ISBN: 978-1-57586-632-1
• Themen: Sachbuch > Philosophie, Religion > Philosophie: Allgemeines, Nachschlagewerke; Schule und Lernen > Unterrichtsvorbereitung > Berufliche Bildung