Dave Barker-Plummer

Identifiers

Open LibraryOL1390068A

Top Subjects

Logic (2)
First-order logic (2)
Tarski's world (2)
Philosophy (1)
Philosophy of language (1)
Computer graphics (1)
Visual communication (1)

Books by Dave Barker-Plummer

Total count: 6

Language, Proof, and LogicPap/Cdr edition

CSLI Publications1999-08-01
Tarski's worldRev. and expanded.

CSLI Publications2004-01-01
Diagrammatic Representation and Inference4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings

Springer London, Limited2006-01-01
Tarski's worldRev. and expanded.

CSLI Publications2008-01-01
Language, proof, and logic2nd ed. / Dave Barker-Plummer, Jon Barwise, and John Etchemendy in collaboration with Albert Liu, Michael Murray, and Emma Pease.

CSLI Publications2011-01-01
Logical Reasoning with Diagrams & SentencesUsing Hyperproof

CSLI Publications/Center for the Study of Language & Information2018-01-01