ENGLISH

Handbook of Proof Theory

By Samuel R. Buss (Editor)

Book information

Publisher
Elsevier
Year
1998
ISBN
0444898409, 9780444898401
ISSN
0049-237X
LCC
QA9.54 .H35 1998
Language
english
Format
DJVU
Filesize
5 MB (5357351 bytes)
Series
Studies in Logic and the Foundations of Mathematics 137
Pages
819\819
Topic
Mathematics Logic
DPI
300
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2015-09-13 20:42:25

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.

Similar books