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

ショッピング1件

復刊リクエスト22件

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

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

投票数：76票

fin

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

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

投票数：23票

太郎

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

現代数理論理学入門

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

投票数：15票

ムック剛

強制法も詳しく解説しており、ぜひとも買いたい本です。 (2005/08/06)
プリンキピア・マテマティカ序論

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

投票数：13票

キマルリ

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

【著者】前原昭二

投票数：13票

パルマコン

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

【著者】竹内外史

投票数：13票

ゆーあい

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

【著者】林晋

投票数：12票

60th_power

私の知る限り，日本語で類書はほとんどありません．ぜひ読みたいです． (2013/11/19)
復刊商品あり

数理哲学序説

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

投票数：11票

ppd!

アマチュア向けの数学関係の本の文庫化が最近あるが、そうした中でも当事していた数学者自身による文章は貴重だ。また分析哲学に関心がある人にとっても興味のある一冊だろう。 (2014/02/28)
復刊商品あり

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

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

投票数：10票

自由人

学びたい。 (2013/09/24)
集合論独立性証明への案内

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

投票数：7票

sky

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

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

投票数：7票

mist

ウカシェヴィチに興味が出てきたので (2010/07/26)
現代数理論理学序説

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

投票数：5票

Q M

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

数理論理学序説

【著者】前原昭二

投票数：5票

m0h1can

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

【著者】鹿島亮

投票数：3票

アント

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

【著者】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票