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

Handbook of Proof Theory

S.R. Buss
    Product form
      FORMAT: Hardback

      R 5,275.00 Price and availability exclusive to website

      YOU COULD EARN 5,275 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 20 - 30 Business Days
      BUY NOW PAY LATER
      From R 879.16 per month!
      3x monthly payments of R 1,758.33 with
      4x fortnightly payments of R 1,318.75 with
      This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.
      Format: CONTRIBUTORS: S.R. Buss EAN: 9780444898401 COUNTRY: United Kingdom PAGES: WEIGHT: 1410 g HEIGHT: 234 cm
      PUBLISHED BY: Elsevier Science & Technology DATE PUBLISHED: 1998-07-09 CITY: GENRE: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Artificial Intelligence / Expert Systems, COMPUTERS / Programming / Algorithms, MATHEMATICS / Discrete Mathematics, MATHEMATICS / Logic WIDTH: 156 cm SPINE:

      Book Themes:

      Mathematical logic, Discrete mathematics, Algorithms and data structures, Artificial intelligence, Expert systems / knowledge-based systems

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.
      Format: CONTRIBUTORS: S.R. Buss EAN: 9780444898401 COUNTRY: United Kingdom PAGES: WEIGHT: 1410 g HEIGHT: 234 cm
      PUBLISHED BY: Elsevier Science & Technology DATE PUBLISHED: 1998-07-09 CITY: GENRE: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Artificial Intelligence / Expert Systems, COMPUTERS / Programming / Algorithms, MATHEMATICS / Discrete Mathematics, MATHEMATICS / Logic WIDTH: 156 cm SPINE:

      Book Themes:

      Mathematical logic, Discrete mathematics, Algorithms and data structures, Artificial intelligence, Expert systems / knowledge-based systems

      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