| Handbook of Proof Theory: Volume 137 Contributor(s): Buss, S. R. (Editor) |
|
 |
ISBN: 0444898409 ISBN-13: 9780444898401 Publisher: Elsevier Science OUR PRICE: $180.18 Product Type: Hardcover - Other Formats Published: July 1998 Annotation: 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. |
| Additional Information |
| BISAC Categories: - Mathematics | Logic - Computers | Computer Science - Computers | Systems Architecture - General |
| Dewey: 511.3 |
| LCCN: 98018922 |
| Series: Studies in Logic and the Foundations of Mathematics |
| Physical Information: 1.69" H x 6.14" W x 9.21" (2.91 lbs) 810 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |