同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(書誌分類: 410.12)
該当件数:22件
数学史 / 小堀憲著
東京 : 朝倉書店 , 1956.3. - (科学・技術史全書)
図書 <BB00775940>
はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方 / 山田俊行著
東京 : 森北出版 , 2018.7
図書 <BB13063208>
記号論理学 / ペー・エス・ノヴィコフ著 ; 石本新訳
東京 : 東京図書 , 1965.8. - (数学選書)
図書 <BB00710406>
知識処理論 / 萩野達也著
東京 : 産業図書 , 1995.6. - (知識・情報・メディア/シリーズ)
図書 <BB00997345>
情報科学のための論理数学 / 細井勉著
東京 : 日本評論社 , 1992.4. - (日評数学選書)
図書 <BB00845498>
スマリヤン記号論理学 : 一般化と記号化 / Raymond Smullyan[著] ; 川辺治之訳
東京 : 丸善出版 , 2013.1
図書 <BB12584363>
数理論理学 / 林晋著
東京 : コロナ社 , 1989.12. - (コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編 ; 3)
図書 <BB00751526>
数理論理学入門 / 角田譲著
東京 : 朝倉書店 , 1996.6
図書 <BB01012235>
フレーゲの論理哲学 / 田畑博敏著
福岡 : 九州大学出版会 , 2002.2
図書 <BB00541220>
数理論理学原論 : 近代ポーランド論理学の原典 / ヤン・ウカシェーヴィチ著 ; 高松鶴吉訳
東京 : 文化書房博文社 , 1992.4
図書 <BB00850808>
計算論理学入門 : AIとコンピュータサイエンスへの論理的アプローチ / 赤間世紀著
東京 : 啓学出版 , 1992.12
図書 <BB00874695>
Logic, methodology and philosophy of science IV : Proceedings / edited by Patrick Suppes [et al.]
Amsterdam : North-Holland Pub. Co.. - New York : American Elsevier Pub. Co. , 1973. - (Studies in logic and the foundations of mathematics ; v. 74)
図書 <BB00103079>
線型論理入門 / 竹内外史著
東京 : 日本評論社 , 1995.1
図書 <BB00986784>
応用論理 / 桔梗宏孝著
東京 : 共立出版 , 1996.3. - (情報数学講座 ; 1)
図書 <BB01006778>
論理 / 廣瀬健著
東京 : 日本評論社 , 1994.5. - (現代応用数学の基礎)
図書 <BB00976501>
情報科学における論理 / 小野寛晰著
東京 : 日本評論社 , 1994.4. - (情報数学セミナー)
図書 <BB00914993>
記号論理学 : その成立史の研究 / 末木剛博著
東京 : 東京大学出版会 , 1962.4. - (東大学術叢書 ; 15)
図書 <BB00740831>
数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳
東京 : 丸善 , 1987.12
図書 <BB00669456>
情報の論理数学入門 : ブール代数から述語論理まで / 小倉久和, 高濱徹行共著
東京 : 近代科学社 , 1991.4
図書 <BB00815041>
Non-standard analysis / Abraham Robinson
series,ne,us. - Rev. ed. - Amsterdam : North-Holland. - New York : American Elsevier , 1974. - (Studies in logic and the foundations of mathematics)
図書 <BB00101079>
Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen
v. 1,v. 1:pbk.,v. 2. - Amsterdam ; Tokyo : North-Holland , 1988. - (Studies in logic and the foundations of mathematics ; v. 121, 123)
図書 <BB10177361>
ゲーデルの不完全性定理 / レイモンド・スマリヤン [著] ; 高橋昌一郎訳
東京 : 丸善 , 1996.7
図書 <BB01013718>