OPAC

NII検索	検索条件	和洋区分	図　書	雑　誌
	件名=記号論理学	全資料	54件	0件

該当件数：54件 ページ： 1 2 3

ﾍﾟｰｼﾞ選択ﾍﾟｰｼﾞ解除全件選択全件解除		書誌事項
1		はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方 / 山田俊行著. -- 森北出版, 2018.
2		数理論理学 : 合理的エージェントへの応用に向けて / 加藤暢, 高田司郎, 新出尚之共著. -- コロナ社, 2014.
3		論理学への数学的手引き / Herbert B. Enderton [著] ; 嘉田勝訳. -- 1月と7月, 2020.
4		数理議論学 / 若木利子, 新田克己共著. -- 東京電機大学出版局, 2017.
5		論理と集合から始める数学の基礎 / 嘉田勝著. -- 日本評論社, 2008.
6		確かさを求めて : 数学の基礎についての哲学論考 / M. ジャキント著 ; 田中一之監訳. -- 培風館, 2007.
7		情報科学のための論理分析テクニック / 戸田誠之助著. -- 培風館, 2007.
8		数理パズルで楽しく学べる論理学 / 藤田憲悦著. -- コロナ社, 2022.
9		コンピュータサイエンスにおける様相論理 / 鹿島亮著. -- 森北出版, 2022.
10		不完全性定理の先へ / レイモンド・M・スマリヤン著 ; 川辺治之訳. -- 日本評論社, 2018. -- (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻).
11		不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳. -- 日本評論社, 2017. -- (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 上巻).
12		山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌 / 田中一之著 ; バラマツヒトミ絵. -- 日本評論社, 2019.
13		情報科学における論理 / 小野寛晰著. -- 日本評論社, 1994. -- (情報数学セミナー).
14		今度こそわかる論理 : 数理論理学はなぜわかりにくいのか / 本橋信義著. -- 講談社, 2014. -- (今度こそわかるシリーズ).
15		数理論理学 = Mathematical logic / 戸次大介著. -- 東京大学出版会, 2012.
16		数理論理学 / 鹿島亮著. -- 朝倉書店, 2009. -- (現代基礎数学 / 新井仁之 [ほか] 編 ; 15).
17		現代数理論理学序説 / 古森雄一, 小野寛晰著. -- 日本評論社, 2010.
18		数理論理学 : 使い方と考え方 : 超準解析の入口まで / 江田勝哉著. -- 内田老鶴圃, 2010.
19		論理学は数学の役に立つか? : 新しい論理学の構築 / 本橋信義著. -- 遊星社, 2006.
20		フレーゲ哲学の最新像 / ダメット [ほか著] ; 岡本賢吾, 金子洋之編. -- 勁草書房, 2007. -- (双書現代哲学 ; 5).
ﾍﾟｰｼﾞ選択ﾍﾟｰｼﾞ解除全件選択全件解除		書誌事項

ページ： 1 2 3

該当件数：0件ページ： --

ページ： --

目録検索結果一覧

絞込項目

図書一覧

雑誌タイトル一覧

Copyright(C) 2001, LVZ, All Rights Reserved