Handbook of proof theory

著者

• Buss, Samuel R.

書誌事項

Handbook of proof theory

edited by Samuel R. Buss

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

Elsevier, 1998

注記

Includes bibliographical references and indexes

詳細情報

• NII書誌ID(NCID): BA37119809
• ISBN:
  • 0444898409
• LCCN: 98018922
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam
• ページ数/冊数: 811 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA9.54
  • DC21 : 511.3
• 件名:
  • LCSH : Proof theory
• 親書誌ID:
  • BA00099329