Types and Tokens for Logic with Diagrams Frithjof Dau Technische Universit¨ at Darmstadt, Fachbereich Mathematik Schloßgartenstr. 7, DDarmstadt, - Diagrammatic reasoning - Document - PDFSEARCH.IO

First Page	Meta Content
	Types and Tokens for Logic with Diagrams Frithjof Dau Technische Universit¨ at Darmstadt, Fachbereich Mathematik Schloßgartenstr. 7, DDarmstadt, Add to Reading List Document Date: 2007-08-09 21:04:38 Open Document File Size: 309,06 KB Share Result on Facebook

Types and Tokens for Logic with Diagrams Frithjof Dau Technische Universit¨ at Darmstadt, Fachbereich Mathematik Schloßgartenstr. 7, DDarmstadt, Add to Reading List