ようこそ！
カート
マイページ
eフレンズトップ
ログイン
メニュー
本　こだわり検索
書名
著者名
商品説明
出版社名
出版年月
年 月
ジャンル
ISBNコード
本
文庫
 
新書・選書
 
文芸
 
教養
 
人文
 
教育
 
芸術
 
児童
 
趣味
 
生活
 
地図・ガイド
 
就職・資格
 
語学
 
小学学参
 
中学学参
 
高校学参
 
辞典
 
コミック
 
ゲーム攻略本
 
エンターテイメント
 
日記手帳
 
社会
 
法律
 
経済
 
経営
 
ビジネス
 
理学
 
工学
 
コンピュータ
 
医学
 
看護学
 
薬学
 
本 > 理学 > 数学 > 数学一般
出版社名：朝倉書店
出版年月：2023年11月
ISBN：978-4-254-50038-7
２２１Ｐ　２１ｃｍ
記号論理学
山本新／著　入江俊夫／著　田村高幸／著
 
組合員価格 税込 3,168円
(通常価格 税込 3,520円)
割引率 10%
在庫あり
生協宅配にてお届け
※ご注文が集中した場合、お届けが遅れる場合がございます。
内容紹介・もくじなど
もくじ情報：第１章　論理学とはなにか（正しい推論；対象言語とメタ言語；公理体系）；第２章　命題論理（命題の記号化；論理式　ほか）；第３章　述語論理（命題の記号化；限量記号の用法　ほか）；第４章　様相論理（様相命題論理；意味論；健全性；完全性；決定可能性；様相述語論理；意味論；健全性；完全性）；第５章　直観主義論理（直観主義命題論理；意味論；健全性；完全性；決定可能性；直観主義述語論理；意味論；健全性；完全性）；補論１　ゲンツェンの論理体系；補論２　様相論理への補論；補論３　線形論理について
もくじ情報：第１章　論理学とはなにか（正しい推論；対象言語とメタ言語；公理体系）；第２章　命題論理（命題の記号化；論理式　ほか）；第３章　述語論理（命題の記号化；限量記号の用法　ほか）；第４章　様相論理（様相命題論理；意味論；健全性；完全性；決定可能性；様相述語論理；意味論；健全性；完全性）；第５章　直観主義論理（直観主義命題論理；意味論；健全性；完全性；決定可能性；直観主義述語論理；意味論；健全性；完全性）；補論１　ゲンツェンの論理体系；補論２　様相論理への補論；補論３　線形論理について
著者プロフィール
山本　新(ヤマモト　シン)
１９４９年岡山県に生まれる。１９８２年東京大学大学院理学系研究科修了。千葉大学、武蔵大学、青山学院大学などで非常勤講師を歴任
山本　新(ヤマモト　シン)
１９４９年岡山県に生まれる。１９８２年東京大学大学院理学系研究科修了。千葉大学、武蔵大学、青山学院大学などで非常勤講師を歴任

同じ著者名で検索した本

おもてなしとホスピタリティ　サービスとのちがい/知の新書　Ｊ０２　ｃａｐｉｔａｌ
村瀬永育／〔著〕　山本哲士／〔著〕　新資本経済学会／編
現代ドイツ労働法令集
山本陽大／編著　井川志郎／著　植村新／著　榊原嘉明／著
博多の豪商・神屋宗湛の人間力とビジネス戦略
山本久義／編著　北村新比古／著　内田寛樹／著
戦争と文明/中公クラシックス　Ｗ９６
トインビー／〔著〕　山本新／訳　山口光朔／訳
冒険の森へ　傑作小説大全　６/追跡者の宴
〔逢坂剛／編集委員〕　〔大沢在昌／編集委員〕　〔北方謙三／編集委員〕　〔船戸与一／編集委員〕　〔夢枕獏／編集委員〕
織田信長の古文書
織田信長／〔著〕　山本博文／編　堀新／編　曽根勇二／編
徳川家康の古文書
徳川家康／〔著〕　山本博文／編　堀新／編　曽根勇二／編
豊臣秀吉の古文書
豊臣秀吉／〔著〕　山本博文／編　堀新／編　曽根勇二／編
ソクラテスからデカルトまで
山本新／著
 
このサイトの利用に関しては、ご利用生協の宅配事業に関する約款等ならびにeフレンズ利用約款に基づきます。
このサイトについて eフレンズトップ
利用約款 ご利用ガイド
特定取引法に基づく表示
個人情報の取り扱いについて お問い合わせ
©COOP KINKI all rights reserved. このページに掲載の記事・写真・イラストなどの無断転載を禁じます。