Annals of the Japan Association for Philosophy of Science
Online ISSN : 1884-1228
Print ISSN : 0453-0691
ISSN-L : 0453-0691
Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types
Shôji MAEHARA
著者情報
ジャーナル フリー

1962 年 2 巻 2 号 p. 55-64

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

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

BIB TEX形式

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

テキスト
メタデータのダウンロード方法
発行機関連絡先
記事の1ページ目
著者関連情報
© The Japan Association for Philosophy of Science
次の記事
お気に入り & アラート

閲覧履歴
このページを共有する
feedback
 Top