Words, Proofs and Diagrams
Johan van Benthem editor David Barker-Plummer editor David I Beaver editor Patrick Scotto di Luzio editor
Format:Hardback
Publisher:Centre for the Study of Language & Information
Published:1st Oct '02
Currently unavailable, and unfortunately no date known when it will be back
![Words, Proofs and Diagrams cover](https://cdn.theportobellobookshop.com/img/9781575864051.jpg)
The past 20 years have witnessed an ever-increasing number of interdisciplinay research collaborations as computer scientists, logicians, linguists, philosophers, and psychologists all explore the same question: how can logic illuminate the nature of information? This collection covers active research areas at the interface of logic, computer science, and linguistics: process logics, formal semantics, language processing, and a new area where all three meet - the study of images and graphics as information carriers, and the diagrammatic reasoning supported by them.
ISBN: 9781575864051
Dimensions: 24mm x 16mm x 2mm
Weight: 510g
286 pages