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.
1100695891
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.
Handbook of Proof Theory
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.
176.49
In Stock
5
1
Handbook of Proof Theory
810Handbook of Proof Theory
810eBook
$176.49
$235.00
Save 25%
Current price is $176.49, Original price is $235. You Save 25%.
Related collections and offers
176.49
In Stock
Product Details
ISBN-13: | 9780080533186 |
---|---|
Publisher: | Elsevier Science |
Publication date: | 07/09/1998 |
Series: | ISSN , #137 |
Sold by: | Barnes & Noble |
Format: | eBook |
Pages: | 810 |
File size: | 16 MB |
Note: | This product may take a few minutes to download. |
From the B&N Reads Blog