• PART A: THEORETICAL ISSUES ; 1. Visual Information and Valid Reasoning ; 2. Operational Constraints in Diagrammatic Reasoning ; 3. Diagrams and the Concept of Logical System ; PART B: CASE STUDIES ; 4. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams ; 5. Towards a Model Theory of Venn Diagrams ; 6. Peircean Graphs for Propositional Logic ; 7. A Diagrammatic Subsystem of Hilbert's Geometry ; PART C: HETEROGENOUS SYSTEMS ; 8. Heterogenous Logic ; 9. Toward the Rigorous Use of Diagrams in Reasoning about Hardware ; 10. Exploiting the Potential of Diagrams in Guiding Hardware Reasoning

Such a theme is of interest not only to logic, philosophy, and linguistics but also to practical computer areas such as robotics and multimedia. The authors are famous and we can expect the book to draw the attention of several communities. I think the Allwein-Barwise book is a good publication move.

• PART A: THEORETICAL ISSUES ; 1. Visual Information and Valid Reasoning ; 2. Operational Constraints in Diagrammatic Reasoning ; 3. Diagrams and the Concept of Logical System ; PART B: CASE STUDIES ; 4. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams ; 5. Towards a Model Theory of Venn Diagrams ; 6. Peircean Graphs for Propositional Logic ; 7. A Diagrammatic Subsystem of Hilbert's Geometry ; PART C: HETEROGENOUS SYSTEMS ; 8. Heterogenous Logic ; 9. Toward the Rigorous Use of Diagrams in Reasoning about Hardware ; 10. Exploiting the Potential of Diagrams in Guiding Hardware Reasoning

Such a theme is of interest not only to logic, philosophy, and linguistics but also to practical computer areas such as robotics and multimedia. The authors are famous and we can expect the book to draw the attention of several communities. I think the Allwein-Barwise book is a good publication move.

• PART A: THEORETICAL ISSUES ; 1. Visual Information and Valid Reasoning ; 2. Operational Constraints in Diagrammatic Reasoning ; 3. Diagrams and the Concept of Logical System ; PART B: CASE STUDIES ; 4. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams ; 5. Towards a Model Theory of Venn Diagrams ; 6. Peircean Graphs for Propositional Logic ; 7. A Diagrammatic Subsystem of Hilbert's Geometry ; PART C: HETEROGENOUS SYSTEMS ; 8. Heterogenous Logic ; 9. Toward the Rigorous Use of Diagrams in Reasoning about Hardware ; 10. Exploiting the Potential of Diagrams in Guiding Hardware Reasoning

Such a theme is of interest not only to logic, philosophy, and linguistics but also to practical computer areas such as robotics and multimedia. The authors are famous and we can expect the book to draw the attention of several communities. I think the Allwein-Barwise book is a good publication move.