Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Words, Proofs and Diagrams, Paperback / softback Book

Words, Proofs and Diagrams Paperback / softback

Edited by David Barker-Plummer, David I. Beaver, Johan van Benthem, Patrick Scotto Di Luzio

Part of the Lecture Notes series

Paperback / softback

Available to Order - This title is available to order, with delivery expected within 2 weeks

Description

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.

Information

Save 0%

£21.00

£20.95

Available to Order - This title is available to order, with delivery expected within 2 weeks
Add to Basket
Sign in to add to wishlist
 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information

Also in the Lecture Notes series  |  View all

Ophthalmology

£30.95

£28.69

Add to Basket

Modal Logic for Open Minds

£22.50

£22.29

Add to Basket

Tropical Medicine

£30.95

£28.49

Add to Basket

Elderly Care Medicine

£30.95

£28.69

Add to Basket