Blank Cover Image
QRコード(所蔵情報)

數學基礎論 : 撰出公理及び一般連續假説の集合論公理との無矛盾性

フォーマット:
図書
責任表示:
クルト・ゲーデル [著] ; 近藤洋逸譯
言語:
日本語
出版情報:
東京 : 伊藤書店, 1946.4
形態:
121p ; 21cm
著者名:
シリーズ名:
飜譯學術論叢 ; 4 <BN02910340>
書誌ID:
BN13778733
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 ゲーデルの無矛盾性証明

山岡, 謁郎

三重学術出版会
7 図書 公理的集合論入門

Lemmon, E. J. (Edward John), 石本, 新(1917-), 高橋, 敬吾

東京図書
2 図書 数学基礎論

Kneebone, Geoffrey Thomas, 安藤, 洋美

明治図書出版
8 図書 公理的集合論

田中, 尚夫(1928-), 赤, 攝也(1926-)

培風館
3 論文 推論パスネットワークによる仮説合成時の無矛盾性チェックの改善案

野畠, 英明, 木村, 春彦, 広瀬, 貞樹, 広林, 茂樹

情報処理学会
9 図書 人体の矛盾

井尻, 正二(1913-)

築地書館
4 図書 數學基礎論

黒田, 成勝(1905-)

岩波書店
10 図書 実践論 ; 矛盾論

毛, 沢東(1893-1976), 竹内, 実(1923-), 松村, 一人(1905-1977)

岩波書店
5 図書 歴史の矛盾性

津田, 左右吉(1873-1961)

大洋出版社
11 図書 記号論理学

Kneebone, Geoffrey Thomas, 安藤, 洋美

明治図書出版
6 図書 公理論的集合論

西村, 敏男(1926-), 難波, 完爾(1939-)

共立出版
12 図書 数と連続の哲学

白石, 早出雄(1896-)

共立出版