Journal of the Mathematical Society of Japan
Online ISSN : 1881-1167
Print ISSN : 0025-5645
ISSN-L : 0025-5645
Cut elimination theorem for second order arithmetic with the Π11-comprehension axiom and the ω-rule
Mariko YASUGI
著者情報
ジャーナル フリー

1970 年 22 巻 3 号 p. 308-324

詳細
PDFをダウンロード (1287K)
メタデータをダウンロード RIS形式

(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)

BIB TEX形式

(BibDesk、LaTeXとの互換性あり)

テキスト
メタデータのダウンロード方法
発行機関連絡先
記事の1ページ目
著者関連情報

この記事は最新の被引用情報を取得できません。

© The Mathematical Society of Japan
前の記事 次の記事
お気に入り & アラート

閲覧履歴
前身誌

Nippon Sugaku-Buturigakkwai Kizi Dai 3 Ki

Tokyo Sugaku-Buturigakkwai Kizi Dai 2 Ki

Tokyo Sugaku-Butsurigakukwai Kiji-Gaiyo

Tokyo Sugaku-Butsurigakkwai Hokoku

Tokyo Sugaku-Butsurigaku Kwai Kiji

東京數學物理學會記事

東京數學會社雑誌

このページを共有する
feedback
 Top