Handbook of proof theory /

Bibliographic Details
Other Authors: Buss, Samuel R.
Format: Book
Language:English
Published: New York : Elsevier, 1998.
Series:Studies in logic and the foundations of mathematics ; v. 137.
Subjects:
Description
Physical Description:811 pages ; 23 cm.
Bibliography:Includes bibliographical references and indexes.
ISBN:0444898409 (alk. paper)