ξさんの公開ページ 復刊投票コメント一覧 公開ページTOPへ 復刊リクエスト投票 非古典論理学 【著者】杉原丈夫 .(2010/02/05) 現代数理論理学入門 【著者】J.N.クロスリー ほか 著 / 田中尚夫 訳 .(2010/02/05) 数理論理学 語の問題 【著者】竹内 外史 .(2010/02/05) コンピュータ言語進化論──思考増幅装置を求める知的冒険の旅 【著者】ハワード・レヴァイン、ハワード・ラインゴールド 著/椋田直子 訳 .(2010/02/05) 連続体仮説 【著者】ポール・J.コーヘン/近藤基吉 .(2010/02/05) 様相論理入門 【著者】G・E・ヒューズ,M・J・クレスウェル著/三浦聰,大浜茂生,春藤修二訳 復刊希望(2010/02/05) 公理的集合論 【著者】田中尚夫 基礎論の書籍の少なさから(2008/08/20) 束論と量子論理 【著者】前田周一郎 量子論理の書籍の必要性(2008/08/20) 層・圏・トポス:現代的集合像を求めて 【著者】竹内外史 圏の良い入門書の復刊を望みます。(2008/05/21) 証明論入門 〔数学基礎論 改題〕 【著者】竹内外史・八杉満利子 証明論の本が少ない. 名著復刊を希望.(2008/02/13)
復刊リクエスト投票
非古典論理学
【著者】杉原丈夫
現代数理論理学入門
【著者】J.N.クロスリー ほか 著 / 田中尚夫 訳
数理論理学 語の問題
【著者】竹内 外史
コンピュータ言語進化論──思考増幅装置を求める知的冒険の旅
【著者】ハワード・レヴァイン、ハワード・ラインゴールド 著/椋田直子 訳
連続体仮説
【著者】ポール・J.コーヘン/近藤基吉
様相論理入門
【著者】G・E・ヒューズ,M・J・クレスウェル著/三浦聰,大浜茂生,春藤修二訳
公理的集合論
【著者】田中尚夫
束論と量子論理
【著者】前田周一郎
層・圏・トポス:現代的集合像を求めて
【著者】竹内外史
証明論入門 〔数学基礎論 改題〕
【著者】竹内外史・八杉満利子