京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: #記号論理学)
該当件数:63件
情報科学における論理 / 小野寛晰著
東京 : 日本評論社 , 1994.4. - (情報数学セミナー)
図書
応用論理 / 桔梗宏孝著
東京 : 共立出版 , 1996.3. - (情報数学講座 ; 1)
数理論理学 / 古川康一, 向井国昭著
東京 : コロナ社 , 2008.6. - (コンピュータサイエンス教科書シリーズ / 曽和将容, 岩田彰, 富田悦次編集委員 ; 18)
知識と推論 / 森下真一著
東京 : 共立出版 , 1994.1. - (情報数学講座 ; 10)
数理論理学 / 林晋著
東京 : コロナ社 , 1989.12. - (コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編 ; 3)
情報科学のための論理数学 / 細井勉著
東京 : 日本評論社 , 1992.4. - (日評数学選書)
記号論理入門 / 金子洋之著
東京 : 産業図書 , 1994.10. - (哲学教科書シリーズ)
ゲーデルは何を証明したか : 数学から超数学へ / E.ナーゲル, J.R.ニューマン著 ; 林一訳
東京 : 白揚社 , 1999.3
数理論理学 : 語の問題 / 竹内外史著
東京 : 培風館 , 1973.4. - (数理科学シリーズ / 山内恭彦, 弥永昌吉企画編集 ; 7)
ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
東京 : 講談社 , 1992.12. - (ブルーバックス ; B-947)
計算論理入門 : 情報の数理 / 田中尚夫著
東京 : 裳華房 , 1997.10
記号論理読本 / 前原昭二著
東京 : 日本評論社 , 1976.8
数学と論理と / J.R.ニューマン他編 ; 林雄一郎訳編
東京 : 東京図書 , 1970. - (科学技術選書)
記号論理入門 / 前原昭二著
東京 : 日本評論社 , 1967.10. - (日評数学選書)
数理論理学入門 / 角田譲著
東京 : 朝倉書店 , 1996.6
論理 / 廣瀬健著
東京 : 日本評論社 , 1994.5. - (現代応用数学の基礎)
新しい論理序説 / 本橋信義著
東京 : 朝倉書店 , 1997.4. - (すうがくぶっくす / 森毅, 斎藤正彦, 野崎昭弘編 ; 16)
数学的論理学 / 杉原丈夫著
東京 : 槙書店 , 1967.4. - (数学選書)
非古典論理学 / 杉原丈夫著
東京 : 槙書店 , 1975. - (数学選書)
証明の読み方・考え方 : 数学的思考過程への手引 / ダニエル・ソロ-著 ; 安藤四郎[ほか]訳
東京 : 共立出版 , 1985.6