Handbook of proof theory

Author(s)

• Buss, Samuel R.

Bibliographic Information

Handbook of proof theory

edited by Samuel R. Buss

（Studies in logic and the foundations of mathematics, v. 137）

Elsevier, 1998

Note

Includes bibliographical references and indexes

Details

• NCID: BA37119809
• ISBN:
  • 0444898409
• LCCN: 98018922
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam
• Pages/Volumes: 811 p.
• Size: 23 cm
• Classification:
  • LCC : QA9.54
  • DC21 : 511.3
• Subject Headings:
  • LCSH : Proof theory
• Parent Bibliography ID:
  • BA00099329