算術体系の証明論 : RIMS共同研究

CiNii Available at 4 libraries

Bibliographic Information

Title
"算術体系の証明論 : RIMS共同研究"
Publisher
  • 京都大学数理解析研究所
Publication Year
  • 2007.2
Book size
26cm
Other Title
  • サンジュツ タイケイ ノ ショウメイロン : RIMS キョウドウ ケンキュウ
  • Proof theory arithmetic

Search this Book/Journal

Notes

その他のタイトルは目次より

RIMS共同研究報告集: 2006年8月21日-8月23日. 研究代表者: 黒田覚

参考文献: 論末

Related Books

See more

Details 詳細情報について

  • CRID
    1130000798313392384
  • NII Book ID
    BA81576515
  • Country Code
    ja
  • Title Language Code
    ja
  • Place of Publication
    • [京都]
  • Data Source
    • CiNii Books
Back to top