Description

Book Synopsis
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.

Words, Proofs and Diagrams

Product form

£26.68

Includes FREE delivery

Order before 4pm tomorrow for delivery by Thu 8 Jan 2026.

A Paperback / softback by David Barker-Plummer, David I. Beaver, Johan van Benthem

10 in stock


    View other formats and editions of Words, Proofs and Diagrams by David Barker-Plummer

    Publisher: Centre for the Study of Language & Information
    Publication Date: 01/07/2002
    ISBN13: 9781575864068, 978-1575864068
    ISBN10: 1575864061

    Description

    Book Synopsis
    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.

    Recently viewed products

    © 2025 Book Curl

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account