「数理論理学」復刊リクエスト一覧（投票数順）

ショッピング1件

復刊リクエスト22件

岩波講座ソフトウェア科学 (全17巻)

【著者】(編集委員)長尾真前川守川合慧所真理雄米澤明憲 (著者) 所真理雄川合慧石畑清武市正人佐々政孝前川守後藤滋樹津田孝夫中嶋正之萩谷昌己井田哲雄佐藤雅彦桜井貴文長尾真佐藤理史安西祐一郎米澤明憲柴山悦哉/著

投票数：76票

fin

各所で参考文献として挙げられているが、入手困難なのはどうかと思う。 http://www.is.akita-u.ac.jp/~sig/books/iwanami-software-scienc... (2003/04/21)
フレーゲ著作集 2 算術の基礎

【著者】G.フレーゲ著／野本和幸土屋俊編

投票数：23票

こよ

フレーゲの哲学を理解するうえで欠かせないから。 (2024/08/31)
復刊商品あり

現代数理論理学入門

【著者】J.N.クロスリーほか著／田中尚夫訳

投票数：15票

rothko

良質な論理学の本として手元手元に置いておきたい。 (2004/12/13)
数理論理学

【著者】前原昭二

投票数：13票

nobu

懇切丁寧に書かれていると評判で、是非勉強に役立てたい。 (2009/11/11)
数理論理学語の問題

【著者】竹内外史

投票数：13票

ゆーあい

この本の存在は知りませんでしたが、語の問題という題が気にかかるので読みたいです。竹内外史氏の本なので内容も気にかかります。個人的見解ですが、語の定義は重要だと考えられるからです。我々が日... (2004/09/07)
プログラム検証論

【著者】林晋

投票数：12票

ぼよぽよぴー

リクエストの有効期限は１年なのでみなさん更新しましょう！！！ ▷更新の手順◁ 1. 復刊コムにログイン 2. マイページを開く 3. 『リクエスト投票一覧』をクリック 4.『有効期限を延長する... (2017/07/17)
プリンキピア・マテマティカ序論

【著者】A.N.ホワイトヘッド、B.ラッセル著　岡本賢吾、戸田山和久、加地大介訳

投票数：12票

どんぐり

これだけの名著が学びたい者のすぐ手元にないのは大変残念です。海外では安くで専門書が購入できるのに・・・学ぶ意欲を掻き立てる書物はいつでも手の届くところにある事がこれからの学びたい者さらなる... (2011/05/04)
復刊商品あり

数理哲学序説

【著者】バートランド・ラッセル著／平野智治訳

投票数：11票

russellian

ラッセルの画期的著作である『プリンキピア・マティマティカ』は膨大な著作であり、出版された当時から、実際に読みこなした研究者はごく少数だろうと言われていました。　この『数理哲学入門』は、その... (2022/06/12)
復刊商品あり

共立講座現代の数学公理論的集合論

【著者】西村敏男難波完爾

投票数：10票

srb

復刊期待。 (2012/09/21)
集合論独立性証明への案内

【著者】ケネス・キューネン著／藤田博司訳

投票数：7票

sky

公理的集合論を学ぶため (2025/02/20)
数理論理学原論近代ポーランド論理学の原典

【著者】ヤン・ウカシェーヴィチ/著高松鶴吉/訳

投票数：7票

呉服

読みたい。 (2005/12/04)
現代数理論理学序説

【著者】古森雄一小野寛晰

投票数：5票

暦vampire

ツイッター(X)にて，数理論理学や論理学を専攻とする大学院生や大学教員の方々から類書がなく，現代数理論理の入門書として高い評価を得ていることが分かりました。購入して，読んでみたいとおもいま... (2024/03/31)
復刊商品あり

数理論理学序説

【著者】前原昭二

投票数：5票

m0h1can

数理論理学の邦書はそれほど多くは無いわりに、求めている人は意外と居るように思われます。内容こそ集合論ベースの時代を感じさせるものだと思いますが、入門書ではなく確実な足取りで読み進めることが出来... (2008/03/03)
C言語による計算の理論

【著者】鹿島亮

投票数：3票

gal

計算論への入門としてしばしば勧められる本であるが絶版により入手できないため (2025/03/22)
プログラミングの科学

【著者】D.グリース

投票数：3票

chatan

以前購入し、読みかけで紛失してしまいました。プログラムの論理的な基礎づけと応用みたいな内容だったと思いますが、難しい内容を分かりやすく解説してくれていました。書名の「科学」の名に恥じず、いつま... (2015/01/12)
アインシュタインのパラドックス EPR問題とベルの定理

【著者】アンドリュー・ウィテイカー

投票数：2票

furutaka

量子力学を理解したい。 (2024/11/09)
現代数学レクチャーズ　B-6　数理論理学

【著者】福山克

投票数：2票

galois

数理論理学は専門の人以外には難解で、高度な本にはなかなか手を出せません。一方、数理論理学の入門書と呼ばれるものには、論理学的に誤っていたり、あいまいな記述が多く、この分野の教科書としては致命的... (2008/04/20)
今度こそわかる論理　数理論理学はなぜわかりにくいのか

【著者】本橋信義

投票数：1票

gal

他の入門書や専門書で著者の本が参考文献として記載されていることがしばしばあり興味を持ちました。その中でも論理の入門書として本作品が買えずに歯痒い思いをしております。 (2025/03/16)
AIと哲学　英仏共同コロキウムの記録

【著者】スティーヴ・トーランス（Steve Torrance）編集、村上陽一郎監訳

投票数：1票

tbs

日進月歩のAI分野としてはもはや古い本とみなされるかもしれないが、AIに関する基礎的な知見が詰まっていると思う。 (2023/12/19)
復刊商品あり

帰納的関数

【著者】廣瀬健

投票数：1票

ぼよぽよぴー

リクエストの有効期限は１年なのでみなさん更新しましょう！！！ ▷更新の手順◁ 1. 復刊コムにログイン 2. マイページを開く 3. 『リクエスト投票一覧』をクリック 4.『有効期限を延長する... (2018/11/30)
数学のロジックと集合論

【著者】田中一之、鈴木登志雄

投票数：1票

bungo0902

以下の特徴をすべて備えた数少ない日本語書籍である。（１）写像の定義域や値域が空集合である場合も扱っている（「空集合から空集合への関数はただ一つあって、それは空集合である」ことを自力で証明してみ... (2013/09/29)
位相と論理

【著者】田中　俊一

投票数：0票