帝京科学大学の蔵書を検索できます。
他大学図書館等の蔵書を検索できます。
国内の学協会誌や研究紀要などを中心とした論文等を検索できます。
国立国会図書館、都道府県立図書館、政令指定都市の市立図書館等の蔵書を検索できます。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #記号論理学)
該当件数:33件
知識と推論 / 森下真一著
東京 : 共立出版 , 1994.1. - (情報数学講座 ; 10)
図書
数理論理学 / 古川康一, 向井国昭著
東京 : コロナ社 , 2008.6. - (コンピュータサイエンス教科書シリーズ / 曽和将容, 岩田彰, 富田悦次編集委員 ; 18)
数学の基礎体力をつけるためのろんりの練習帳 / 中内伸光著
東京 : 共立出版 , 2002.2
記号論理学 / 斎藤晢郎著
東京 : 理想社 , 1964.9
記号論理入門 / 前原昭二著
東京 : 日本評論社 , 1967.10. - (日評数学選書)
記号論理読本 / 前原昭二著
東京 : 日本評論社 , 1976.8
新しい論理序説 / 本橋信義著
東京 : 朝倉書店 , 1997.4. - (すうがくぶっくす / 森毅, 斎藤正彦, 野崎昭弘編 ; 16)
記号論理学入門 / 小松寿著
東京 : 森北出版 , 1997.2
ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
東京 : 講談社 , 1992.12. - (ブルーバックス ; B-947)
記号論理学の原理 / H.ライヘンバッハ著 ; 石本新訳
東京 : 大修館書店 , 1982.7
記号論理学 / 清水義夫著
東京 : 東京大学出版会 , 1984.11
工学系の論理数学入門 / 田中和明著
東京 : カットシステム , 2005.11
情報科学のための論理分析テクニック / 戸田誠之助著
東京 : 培風館 , 2007.6
: 新装版. - 東京 : 日本評論社 , 2005.12. - (日評数学選書)
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
概念記法 / G.フレーゲ著 ; 藤村龍雄編
東京 : 勁草書房 , 1999.12. - (フレーゲ著作集 / G.フレーゲ著 ; 1)
哲学論集 / G.フレーゲ著 ; 黒田亘, 野本和幸編
東京 : 勁草書房 , 1999.9. - (フレーゲ著作集 / G.フレーゲ著 ; 4)
論理哲学論考 / L. ヴィトゲンシュタイン[著] ; 藤本隆志, 坂井秀寿訳
東京 : 法政大学出版局 , 1968.7. - (叢書・ウニベルシタス ; 6)
論理リテラシー / 鈴木登志雄著
東京 : 培風館 , 2009.2
数理論理学序説 / 前原昭二著
東京 : 共立出版 , 1966.6. - (共立全書 ; 160)
真理・証明・計算 : 論理と機械 / 内井惣七著
京都 : ミネルヴァ書房 , 1989.4
計算論理学入門 : AIとコンピュータサイエンスへの論理的アプローチ / 赤間世紀著
東京 : 啓学出版 , 1992.12
ε‐δ・∀と∃に泣く / 石谷茂著
京都 : 現代数学社 , 1990.6. - (数学の盲点とその解明)
数学のロジックと集合論 / 田中一之, 鈴木登志雄共著
東京 : 培風館 , 2003.12
論理と集合から始める数学の基礎 / 嘉田勝著
東京 : 日本評論社 , 2008.12
意味論序説 / ルドルフ・カルナップ著 ; 遠藤弘訳
復刊版. - 東京 : 紀伊國屋書店 , 2003.6
プリンキピア・マテマティカ序論 / A・N・ホワイトヘッド, B・ラッセル[著] ; 岡本賢吾 [ほか] 訳
東京 : 哲学書房 , 1988.7. - (叢書思考の生成 ; 1)
論理体系と代数モデル / 青山広, 愛知非古典論理研究会著
東京 : 八千代出版 , 2007.3
ソフトウェア科学のための論理学 / 萩谷昌己 [著]
東京 : 岩波書店 , 1994.1. - (岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11)
情報の論理数学入門 : ブール代数から述語論理まで / 小倉久和, 高濱徹行共著
東京 : 近代科学社 , 1991.4
数学と論理 / 難波完爾著
東京 : 朝倉書店 , 2003.4. - (講座数学の考え方 / 飯高茂 [ほか] 編集 ; 23)
論理と代数の基礎 : 初めて学ぶ人のために / 硲文夫著
東京 : 培風館 , 2003.6
パラドックスへの挑戦 : ゲーデルとボーア / 大出晁著
東京 : 岩波書店 , 1991.8