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

ショッピング1件

復刊リクエスト22件

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

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

投票数：76票

Q M

非常に良いシリーズであると聞きました。できれば時代に合わせ、現在の技術も加筆して貰えれば嬉しいです。また、電子版（Kindleなど）も出版していただけると、なお嬉しいです。 (2022/01/26)
フレーゲ著作集 2 算術の基礎

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

投票数：23票

太郎

古典にアクセスしやすくなるため (2025/02/25)
復刊商品あり

現代数理論理学入門

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

投票数：15票

すぺ～す☆デブり

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

【著者】前原昭二

投票数：13票

パルマコン

読みたいです。 (2010/02/17)
数理論理学語の問題

【著者】竹内外史

投票数：13票

ゆーあい

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

【著者】林晋

投票数：12票

エクスエール

興味があるから。 (2024/01/16)
プリンキピア・マテマティカ序論

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

投票数：12票

キマルリ

分析哲学をやるならやはり読みたい。図書館で借りて読むのには大部過ぎます。 (2010/03/24)
復刊商品あり

数理哲学序説

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

投票数：11票

ラッセリアン

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

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

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

投票数：10票

しょぼん

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

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

投票数：7票

melmeemdmlkvn

既に所有していますが、入手しにくい本になっているのであれば未購読の人、特に様相論理学や多値論理学に関心をもつ人のために、本書の復刊を望みます。 (2002/10/27)
現代数理論理学序説

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

投票数：5票

Q M

古書店でも入手困難ですので、ぜひ復刊をお願いします！もしできれば、復刊するにあたって電子版（Kindleなど）も出版していただけると嬉しいです！ (2022/01/26)
復刊商品あり

数理論理学序説

【著者】前原昭二

投票数：5票

m0h1can

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

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

投票数：4票

sky

公理的集合論を学ぶため (2025/02/20)
プログラミングの科学

【著者】D.グリース

投票数：3票

chatan

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

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

投票数：2票

furutaka

量子力学を理解したい。 (2024/11/09)
C言語による計算の理論

【著者】鹿島亮

投票数：2票

gal

計算論への入門としてしばしば勧められる本であるが絶版により入手できないため (2025/03/22)
現代数学レクチャーズ　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票