Results for 'david barker'

2 results

Words, Proofs and Diagrams
English | Paperback | 9781575864068 | 2025 | 286 Pages
Dave Barker-Plummer is a research scientist at Stanford University's Center for the Study of Language and Information. David I. Beaver is assistant professor of linguistics at Stanford University. Johan van Benthem is professor of computer science at the University of Amsterdam and professor of philosophy at Stanford University. Patrick Scotto di Luzio earned his Ph.D. in philosophy at Stanford University.
€ 28,95
1. David Barker-Plummer
2. Jon Barwise
3. John Etchemendy
Language, Proof, and Logic
Second Edition English | Paperback | 9781575866321 | 2011 | 650 Pages
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.
€ 105,50