城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #記号論理学)
該当件数:89件
知識と推論 / 森下真一著
東京 : 共立出版 , 1994.1. - (情報数学講座 ; 10)
図書
記号論理学 / 山本新, 入江俊夫, 田村高幸著
東京 : 朝倉書店 , 2023.11
情報理論のための数理論理学 / 板井昌典著
: electronic bk. - 東京 : 共立出版 , 2017.8. - (数学のかんどころ ; 31)
電子ブック
含意命題の探究 : 「ならば」のロジックで数学する頭脳を鍛えよう / 米谷達也, 数理哲人共著
: electronic bk. - 京都 : 現代数学社 , 2018.1
論理と意味 / 長尾真, 淵一博 [著]
東京 : 岩波書店 , 1983.1. - (岩波講座情報科学 ; 7)
証明の読み方・考え方 : 数学的思考過程への手引 / ダニエル・ソロー 著 ; 安藤四郎 {ほか}訳
東京 : 共立出版 , 1985.6
記号論理読本 / 前原昭二 {著}
東京 : 日本評論社 , 1976
記号論理 / 梅沢敏郎著
東京 : 筑摩書房 , 1970.12. - (数学講座 ; 16)
数理論理学 / 福山克著
東京 : 培風館 , 1980.1. - (現代数学レクチャーズ / 赤攝也監修 ; B-6)
記号論理学 / 斎藤晢郎著
東京 : 理想社 , 1964.9
記号論理学 / ペー・エス・ノヴィコフ著 ; 石本新訳
東京 : 東京図書 , 1965.8. - (数学選書)
記号論理学 : その成立史の研究 / 末木剛博著
東京 : 東京大学出版会 , 1962.4. - (東大学術叢書 ; 15)
論理学の方法 / W.v.O.クワイン {著} ; 中村秀吉,大森荘蔵 訳
東京 : 岩波書店 , 1961.12
記号論理学の基礎 / ヒルベルト, アッケルマン共著 ; 伊藤誠訳
東京 : 大阪教育図書社 , 1954.5
記号論理入門 / 前原昭二著
東京 : 日本評論社 , 1967.10. - (日評数学選書)
記号論理学 / ジャン・ショーヴィノー著 ; 芹沢正三訳
東京 : 白水社 , 1959. - (文庫クセジュ ; 257)
記号論理 / 横地清著
東京 : 岩崎書店 , 1967.4. - (図解初等数学選書 ; 16)
記号論理学の綱要 / J.M.ボヘンスキー著 ; 國嶋一則, 奥雅博訳
東京 : 勁草書房 , 1970.4
数学と論理と / J.R.ニューマン他編 ; 林雄一郎訳編
東京 : 東京図書 , 1970. - (科学技術選書)
論理学 : モデル理論と歴史的背景 / 神野慧一郎,内井惣七 著
京都 : ミネルヴァ書房 , 1976