Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献詳細

2 0 0 0 IR 超算術的選択公理HACとその仲間たち (シークエント計算による証明論)

著者
田中 一之
出版者
京都大学
雑誌
数理解析研究所講究録 (ISSN:18802818)
巻号頁・発行日
vol.1301, pp.79-83, 2003-01

言及状況

Twitter (2 users, 2 posts, 1 favorites)

【超算術的選択公理HACとその仲間たち (シークエント計算による証明論)】 http://t.co/rJ3WXhXM なにこれーー。
1 @ha_uda
1 @SatosiYAMAGATA

収集済み URL リスト