Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Dave Barker-Plummer | lit.salon

Author

Dave Barker-Plummer

5 works

2002–2011 across 5 dated works

No biography is available yet.

Start with

Words, proofs, and diagrams2002
Tarski's world2004
Diagrammatic Representation and Inference: 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings (Lecture Notes in Computer Science)2006
With Richard Cox
Language, proof, and logic2011

Books

5 works

Featured (5)Featured (5)All (5)All (5)

Search booksSort books

Diagrammatic Representation and Inference: 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings (Lecture Notes in Computer Science)2006
With Richard Cox
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Tarski's world2004
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Words, proofs, and diagrams2002
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Language, proof, and logic2011
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Tarski's world2008
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Dave Barker-Plummer.

The conversation is still open.

There is no public salon activity to show for Dave Barker-Plummer yet.