Diagrammatic representation and inference : 4th International Conference, Diagrams 2006 : Stanford, CA, USA, June 28-30, 2006 : proceedings /

Vydáno 2006

Language, proof and logic /

Autor Barwise, Jon, 1942-2000, Etchemendy, John, 1952-
Vydáno 2008