Handbook of Proof Theory

  1. Home
  2. Bookstore
  3. Handbook of Proof Theory

Handbook of Proof Theory

By Buss, S.R.

Rent or Buy eTextbook

Expires on Apr 23rd, 2022
$235

Publisher List Price: $239.99
Savings: $4.99

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.

Subject: Mathematics & Statistics -> Post-Calculus -> Logic

Handbook of Proof Theory
Publisher: Elsevier S & T 07/1998
Imprint: Elsevier Science
Language: English
Length: 810 pages

ISBN 10: 0444898409
ISBN 13: 9780444898401
Print ISBN: 9780444898401

Live Chats