Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990

著者

• Aczel, Peter
• Simmons, Harold
• Wainer, S. S

書誌事項

Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990

edited by Peter Aczel, Harold Simmons and Stanley S. Wainer

Cambridge University Press, 1992

• pbk

注記

"Papers presented at an internationsl Summer School and Conference on Proof Theory held at Bodington Hall, Leeds University between 24th July and 2nd August 1990" -- Pref

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA19460553
• ISBN:
  • 052141413X
  • 9780521054164
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge
• ページ数/冊数: x, 306 p.
• 大きさ: 24 cm
• 件名:
  • LCSH : Proof theory -- Congresses