Non-constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension

Annals of the Japan Association for Philosophy of Science

Online ISSN : 1884-1228
Print ISSN : 0453-0691
ISSN-L : 0453-0691

Non-constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension

SHÔJI MAEHARA, TOSHIO NISHIMURA, SETSUYA SEKI

著者情報

ジャーナルフリー

1960 年 1 巻 5 号 p. 269-288

DOI https://doi.org/10.4288/jafpos1956.1.269

詳細

記事の1ページ目

著者関連情報

© The Japan Association for Philosophy of Science

お気に入り & アラート

関連記事

閲覧履歴

Top