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 scient...
Main Author:  

Format:  eBook 
Language:  English 
Published: 
New York
Elsevier
1998, 1998

Series:  Studies in logic and the foundations of mathematics

Subjects:  
Online Access:  
Collection:  Elsevier eBook collection Mathematics  Collection details see MPG.ReNa 
Summary:  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 selfcontained 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 

Physical Description:  811 pages 
ISBN:  9780444898401 9780080533186 0444898409 