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

1 0 0 0 IR 中間述語論理CDについて (算術体系の証明論--RIMS共同研究報告集)

著者
鹿島 亮
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録 (ISSN:18802818)
巻号頁・発行日
no.1533, pp.1-8, 2007-02

言及状況

Twitter (1 users, 1 posts, 2 favorites)

@7danmoroboshi この論文自体はhttps://t.co/nv4k8Y2rZE で、引用されている酷い論文は https://t.co/OrfupIXzHU です
2 @7danmoroboshi @Lenqth

収集済み URL リスト