Language, Proof, and Logic - Second Edition; .
Details
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.
Autorentext
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.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09781575866321
- Schöpfer Albert Liu
- Sprache Englisch
- Auflage 2nd ed.
- Größe H235mm x B235mm
- Jahr 2011
- EAN 9781575866321
- Format Kartonierter Einband (Kt)
- ISBN 978-1-57586-632-1
- Veröffentlichung 02.05.2011
- Titel Language, Proof, and Logic - Second Edition; .
- Autor Dave Barker-Plummer , Jon Barwise , John Etchemendy
- Untertitel Text/Software Package
- Gewicht 1150g
- Herausgeber Centre for the Study of Language & Information
- Anzahl Seiten 650
- Genre Philosophie