Information technology has lead to an increasing need to present information visually. This volume addresses the logical aspects of the visualization of informa
One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status o
Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it
The Logical Reasoning with Diagrams and Sentences courseware package teaches the principles of analytical reasoning and proof construction using a carefully cra
Hyperproof is a system for learning the principles of analytical reasoning and proof construction, consisting of a text and a Macintosh software program. Unlike