Proof theory : history and philosophical significance

著者

• Hendricks, Vincent F.
• Pedersen, Stig Andur
• Jørgensen, Klaus Frovin

書誌事項

Proof theory : history and philosophical significance

edited by Vincent F. Hendricks, Stig Andur Pedersen and Klaus Frovin Jørgensen

（Synthese library, v. 292）

Kluwer Academic, c2000

注記

Includes bibliographical references and index

"Result of a conference held at the University of Roskilde, Denmark, October 31st-November 1st, 1997"--Pref

詳細情報

• NII書誌ID(NCID): BA48756189
• ISBN:
  • 0792365445
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht ; Boston
• ページ数/冊数: xii, 244 p.
• 大きさ: 25 cm
• 親書誌ID:
  • BA00017801