FREE delivery to all EXCLUSIVE BOOKS stores nationwide. FREE delivery to your door on all orders over R450. Excludes all international deliveries.

Structural Proof Theory

Sara Negri, Jan von Plato, Aarne Ranta
    Product form
      FORMAT: Paperback / softback

      R 2,477.63 Price and availability exclusive to website

      YOU COULD EARN 2,477.63 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 10 - 15 Business Days
      BUY NOW PAY LATER
      From R 412.93 per month!
      3x monthly payments of R 825.87 with
      4x fortnightly payments of R 619.40 with
      Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
      Format: CONTRIBUTORS: Sara Negri, Jan von Plato, Aarne Ranta EAN: 9780521068420 COUNTRY: United Kingdom PAGES: WEIGHT: 410 g HEIGHT: 229 cm
      PUBLISHED BY: Cambridge University Press DATE PUBLISHED: 2008-07-10 CITY: GENRE: SCIENCE / Philosophy & Social Aspects WIDTH: 152 cm SPINE:

      Book Themes:

      Mathematical logic, Philosophy of science, Philosophy: logic

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
      Format: CONTRIBUTORS: Sara Negri, Jan von Plato, Aarne Ranta EAN: 9780521068420 COUNTRY: United Kingdom PAGES: WEIGHT: 410 g HEIGHT: 229 cm
      PUBLISHED BY: Cambridge University Press DATE PUBLISHED: 2008-07-10 CITY: GENRE: SCIENCE / Philosophy & Social Aspects WIDTH: 152 cm SPINE:

      Book Themes:

      Mathematical logic, Philosophy of science, Philosophy: logic

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)

      Recently viewed products

      Login

      Forgot your password?

      Don't have an account yet?
      Create account