Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献一覧: Arai Toshiyasu (著者)
  3. 1件

1 0 0 0 OA A consistency proof as system including Feferman's ID by Takeuti's reduction method

著者
Arai Toshiyasu
出版者
Institute of Mathematics, University of Tsukuba
雑誌
Tsukuba journal of mathematics (ISSN:03874982)
巻号頁・発行日
vol.11, no.2, pp.227-239, 1987-12