Handbook of proof theory
By: edited by Samuel R. Buss.
Contributors: Buss, Samuel R.
Series: Studies in logic and the foundations of mathematics ;; v. 137
Publisher: Elsevier
Published: 1998
Place of publication: New York
Language: eng
Number of pages: 811
Subjects: Proof theory.
Notes: Includes bibliographical references and indexes.