いい本のまとめ
多くの読者が高く評価しているおすすめの本と書評
  ベスト1000冊

情報科学における論理 (情報数学セミナー)

著者:小野 寛晰 
出版社:日本評論社
単行本:297ページ
発売日:1994/01/01
価格:3630円
分類: 科学・テクノロジー 
キーワード: 情報  科学  論理 
評価 3.7   読者数 2.2
情報科学における論理 (情報数学セミナー)
       

<マイリスト>

<目次>

第1章 命題論理
第2章 述語論理
第3章 エルブランの定理と導出原理
第4章 様相論理
第5章 直観主義論理
第6章 自然演繹の体系