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

ショッピング1件

復刊リクエスト22件

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

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

投票数：76票

ジーゲル

これからのソフトウェア開発は、科学的にならなければ、技術的な発展が望めません。産学一体となり、そのような方向性を目指さなければ、将来の日本のソフトウェア開発技術は海外を優ることはできないと考え... (2015/07/26)
フレーゲ著作集 2 算術の基礎

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

投票数：23票

こよ

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

現代数理論理学入門

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

投票数：15票

すぺ～す☆デブり

古典と言われ、専門家などからも評価の高い書籍については、商業的にはペイしないものも多いとは思いますが、いつ何時でも、何等かの形で、常に手に取れるようにして欲しい。 (2006/10/10)
数理論理学

【著者】前原昭二

投票数：13票

nobu

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

【著者】竹内外史

投票数：13票

ゆーあい

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

【著者】林晋

投票数：12票

60th_power

私の知る限り，日本語で類書はほとんどありません．ぜひ読みたいです． (2013/11/19)
プリンキピア・マテマティカ序論

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

投票数：12票

akiyone

ゲーデルが復権していますが、その前提となるのが本書です。ゲーデルを理解するには必要でしょう。 (2008/03/06)
復刊商品あり

数理哲学序説

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

投票数：11票

ラッセリアン

ラッセルの論理思想を専門家でなくて理解するにはこういった、ラッセル自身が書いた入門書はとても貴重なものです。読者はあまり多くないでしょうが、確実に1000人単位の固定客はいるはずです。 (2012/01/04)
復刊商品あり

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

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

投票数：10票

しょぼん

集合論は現代数学の基礎を成すものであり、その名著を読んでみたいから。 (2023/02/05)
数理論理学原論近代ポーランド論理学の原典

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

投票数：7票

melmeemdmlkvn

既に所有していますが、入手しにくい本になっているのであれば未購読の人、特に様相論理学や多値論理学に関心をもつ人のために、本書の復刊を望みます。 (2002/10/27)
集合論: 独立性証明への案内

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

投票数：5票

備忘録＋α読書感想

公理論的集合論を理解するために必要であるため。 (2024/10/01)
現代数理論理学序説

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

投票数：5票

暦vampire

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

数理論理学序説

【著者】前原昭二

投票数：5票

m0h1can

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

【著者】鹿島亮

投票数：3票

アント

計算の理論を学ぶのに非常に良い本だと聞くが、絶版で読めないため (2025/07/15)
プログラミングの科学

【著者】D.グリース

投票数：3票

chatan

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

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

投票数：2票

大絶画

「シュレディンガーの猫」もそうですがアインシュタインもシュレーディンガーも量子論の不完全さを攻撃し間違いを犯したのですが、その間違いすら理論の発展に貢献している。特にアインシュタインのパラ... (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票