超算術的選択公理HACとその仲間たち

Bibliographic Information

Other Title
  • チョウサンジュツテキ センタク コウリ HAC ト ソノ ナカマ タチ
  • Sequent Calculi and Proof Theory
  • Sequent Calculi and Proof Theory

Search this article

Journal

Details 詳細情報について

Report a problem

Back to top