David Barker-Plummer

Dave Barker-Plummer is a senior research scientist with the Openproof Project at the Center for the Study of Language and Information (CSLI).

Read More Read Less

Titles

Sort By

Grid List

University of Chicago Press

Distributed Presses

Language, Proof, and Logic

Second Edition

David Barker-Plummer

October 2011

Buy this book: Language, Proof, and Logic
Logical Reasoning with Diagrams and Sentences

Using Hyperproof

David Barker-Plummer

July 2017

Buy this book: Logical Reasoning with Diagrams and Sentences
Words, Proofs and Diagrams

David Barker-Plummer

July 2002

Buy this book: Words, Proofs and Diagrams
Tarski’s World: Revised and Expanded

Jon Barwise

July 2007

Buy this book: Tarski’s World: Revised and Expanded

Be the first to know

Get the latest updates on new releases, special offers, and media highlights when you subscribe to our email lists!

Sign up here for updates about the Press