新入荷再入荷
現代数理論理学序説 / 小野 寛晰 / 古森 雄一
4.1
（38件）
タイムセール
終了まで
00
00
00
999円以上お買上げで送料無料（※）
999円以上お買上げで代引き手数料無料
999円以上お買上げで代引き手数料無料
通販と店舗では販売価格や税表示が異なる場合がございます。また店頭ではすでに品切れの場合もございます。予めご了承ください。
商品詳細情報
| 管理番号 | 新品 ：38153016 | 発売日 | 2023/12/24 | 定価 | 19,800円 | 型番 | 38153016 | ||
|---|---|---|---|---|---|---|---|---|---|
| カテゴリ | |||||||||
現代数理論理学序説 / 小野 寛晰 / 古森 雄一
2010年初版第１刷 目立った傷や汚れは見当たりません．経年の割に良い状態を保っていると思われます． 「現代数理論理学序説」 小野 寛晰 / 古森 雄一 定価: ￥ 3000 《内容説明》 論理とラムダ計算、部分構造論理、論理学への代数的アプローチなど、最新の話題を盛り込んだ新しい入門書。 《目次》 第１章 命題論理 論理学と形式的体系 命題論理の体系 ゲンツェンの基本定理 古典命題論理の意味論 第２章 述語論理 述語論理の体系 ゲンツェンの基本定理 古典述語論理の意味論 第３章 ラムダ計算の世界 ラムダ計算の計算能力 ラムダ項の型付けとη変形 第４章 非標準論理 直観主義論理 論理と代数 様相論理 部分構造論理 #小野寛晰 #小野_寛晰 #古森雄一 #古森_雄一 #本 #自然／数学
健康/医学の製品
わんだらーの製品
