Handbook of proof theory

• Other Authors: Buss, Samuel R. (Editor)
• Format: Book
• Language: English
• Published: Amsterdam Elsevier 1998
• Series: Studies in logic and the foundations of mathematics. volume 137
• Subjects: ΕΣΑ; Υπολογισμός; HANDBOOK