城西国際大学を検索します。
CiNii Booksを検索します。
CiNiiを検索します。
CiNii Dissertationsを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 410.96)
該当件数:26件
記号論 / 吉田夏彦著
東京 : 筑摩書房 , 2017.10. - (ちくま学芸文庫 ; [ヨ16-2])
図書
数学教師が教えるやさしい論理学 / 涌井良幸著
東京 : ベレ出版 , 2023.3
新しい論理序説 / 本橋信義著
東京 : 朝倉書店 , 1997.4. - (すうがくぶっくす / 森毅, 斎藤正彦, 野崎昭弘編 ; 16)
数学嫌いのためのコンピュータ論理学 : 何でも「計算」になる根本原理 / マーティン・ディヴィス著 : 岩山知三郎訳
東京 : コンピュータ・エージ社 , 2003.7
フレーゲ入門 : 生涯と哲学の形成 / 野本和幸著
東京 : 勁草書房 , 2003.9. - (双書エニグマ ; 2)
数理論理学 / 林晋 著
東京 : コロナ社. - (コンピュータ数学シリーズ * * ; 3)
無限の彼方へ :無限の文化史 / エリ・マオール 著 ; 三村護,入江晴栄 訳
京都 : 現代数学社
数理論理学原論 :近代ポーランド論理学の原典 / ヤン・ウカシェーヴィチ 著 ; 高松鶴吉 訳
東京 : 文化書房博文社
記号論理学の原理 * * * / H.ライヘンバッハ著 ; 石本新訳
東京 : 大修館書店
Words, languages and combinatorics, II : proceedings of the international conference, Kyoto, Japan, 25-28 August 1992 / editors, Masami Ito, Helmut JỐrgensen.
Singapore : World Scientific
日本語から記号論理へ / 齋藤正彦著
東京 : 日本評論社 , 2010.5
不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)
情報科学のための論理分析テクニック / 戸田誠之助著
東京 : 培風館 , 2007.6
1と0との物語 / 日野寛三著
[東京] : 東京図書出版 , 2012.5
哲学論集 / G.フレーゲ著 ; 黒田亘, 野本和幸編
東京 : 勁草書房 , 1999.9. - (フレーゲ著作集 / G.フレーゲ著 ; 4)
知識処理論 / 萩野達也著
東京 : 産業図書 , 1995.6. - (知識・情報・メディア/シリーズ)
応用論理 / 桔梗宏孝著
東京 : 共立出版 , 1996.3. - (情報数学講座 ; 1)
Nonmonotonic reasoning / Grigoris Antoniou ; with contributions by Mary-Anne Williams
Cambridge, Mass. : MIT Press , c1997. - (Artificial intelligence)
概念記法 / G.フレーゲ著 ; 藤村龍雄編
東京 : 勁草書房 , 1999.12. - (フレーゲ著作集 / G.フレーゲ著 ; 1)
算術の基礎 / G.フレーゲ著 ; 野本和幸, 土屋俊編
東京 : 勁草書房 , 2001.11. - (フレーゲ著作集 / G.フレーゲ著 ; 2)
算術の基本法則 / G.フレーゲ著 ; 野本和幸編
東京 : 勁草書房 , 2000.9. - (フレーゲ著作集 / G.フレーゲ著 ; 3)
数学論集 / G.フレーゲ著 ; 野本和幸, 飯田隆編
東京 : 勁草書房 , 2001.8. - (フレーゲ著作集 / G.フレーゲ著 ; 5)
書簡集 : 付「日記」 / G.フレーゲ著 ; 野本和幸編
東京 : 勁草書房 , 2002.5. - (フレーゲ著作集 / G.フレーゲ著 ; 6)
ゲーデルの哲学 : 不完全性定理と神の存在論 / 高橋昌一郎著
東京 : 講談社 , 1999.8. - (講談社現代新書 ; 1466)
知識と推論 / 森下真一著
東京 : 共立出版 , 1994.1. - (情報数学講座 ; 10)
情報の論理数学入門 : ブール代数から述語論理まで / 小倉久和, 高濱徹行共著
東京 : 近代科学社 , 1991.4