※商品名はHMV&BOOKS online Yahoo!店のものです
科学哲学 53‐2 特集「タイプ理論」 / 日本科学哲学会 〔全集・双書〕
商品について
- JANコード
- 9784411901996
- 希望小売価格
- 1650
- Y!での商品説明(HMV&BOOKS online Yahoo!店)
-
発売日:2021年03月 / ジャンル:哲学・歴史・宗教 / フォーマット:全集・双書 / 出版社:日本科学哲学会 / 発売国:日本 / ISBN:9784411901996 / アーティストキーワード:日本科学哲学会
内容詳細:目次:特集 査読付き論文（証明支援系と型理論/ 初期ラッセルの存在論における世界の十全な記述可能性 ほか）/ 特集 依頼論文（Ｆｒｏｍ ａｂｓｔｒａｃｔｉｏｎ ａｎｄ ｉｎｄｉｓｃｅｒｎｉｂｉｌｉｔｙ ｔｏ ｃｌａｓｓｉｆｉｃａｔｉｏｎ ａｎｄ ｔｙｐｅｓ：ｒｅｖｉｓｉｔｉｎｇ Ｈｅｒｍａｎｎ Ｗｅｙｌ’ｓ ｔｈｅｏｒｙ ｏｆ ｉｄｅａｌ ｅｌｅｍｅｎｔｓ/ 帰納型消去規則としてのウィトゲンシュタインの一意性規則―算術の論理からの分離の文脈で）/ 依頼論文（顕微鏡による視覚化と実・・・ - 楽天での商品説明(ネットオフ 送料がお得店)
- 科学哲学 53−2 単行本 の詳細 出版社: 日本科学哲学会 レーベル: 作者: 日本科学哲学会 カナ: カガクテツガク / ニホンカガクテツガクカイ サイズ: 単行本 ISBN: 4411901996 発売日: 2021/03/01 関連商品リンク : 日本科学哲学会 日本科学哲学会
価格ランキング
-
977 円
-
1,650 円
-
1,650 円
-
1,650 円
-
1,650 円
-
1,650 円
-
1,650 円
-
1,650 円
-
1,650 円
-
1,650 円