Barker Plummer, Dave books & textbook
Diagrammatic Representation and Inference: 4th International Conference, Diagrams 2006, Stanford, CA, USA, 2006, Proceedings (Lecture Notes in Computer Science)
Barker-Plummer, Dave Cox, Richard Swoboda, Nik
Springer /2006-06-22 Paperback / 316 Pages
isbn-10: 3540356231 / isbn-13: 9783540356233
Language, Proof, and Logic
Barwise, Jon Etchemendy, John Allwein, Gerard Barker-Plummer, Dave Liu, Albert
Seven Bridges Pr Llc /1999-08-16 Paperback / 587 Pages
isbn-10: 1889119083 / isbn-13: 9781889119083
Words, Proofs and Diagrams (Lecture Notes) by Dave Barker-plummer (2002-10-08)
University of Chicago Press / Paperback
