剧情简介：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 incl...(展开全部)
作者：Buss, Samuel R. 编
出版社：Elsevier Science
ISBN：9780444898401
