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

    £27.42

    Includes FREE delivery

    Order before 4pm today for delivery by Wed 1 Jul 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

      © 2026 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