4 treff
Diagrammatic representation and inference : 4th international conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006 : proceedings
Diagrams 2006
Bok Engelsk 2006
Tarski's world
by Dave Barker-Plummer, Jon Barwise, John...
Bok Engelsk 2004
Language, proof, and logic
Jon Barwise & John Etchemendy ; in collab...
Bok Engelsk 2003
Words, proofs, and diagrams
edited by Dave Barker-Plummer ... [et al....
Bok Engelsk 2002