Gerard AllweinBooksLogical reasoning with diagramsFormalizing Reasoning With Visual & Diagrammatic RepresentationsAuthor data: Open Library