絞込み検索
|
ご利用ガイド
会社概要
|
お問い合わせ
home
ご利用ガイド
急ぎのご購入の場合
ご注文の方法
ブックサービスとリンクされない書籍のご購入
検索の上手な使い方
ジャンル
経済
経営
法律
社会学
哲学・思想
政治学・行政
歴史・伝記
文学
心理学
教育学
文化・民俗
自然科学
健康・医学
社会福祉
統計・情報
語学
関連リンク
書誌情報
論理体系と代数モデル
青山 広/愛知非古典論理研究会 著
共著者
小寺平治/千谷慧子
税込価格:2200円+税
ISBN978-4-8429-1433-6
A5判 / 並製 / 190頁 / 2007年 3月発行
古典論理および非古典論理の代数モデルを使って、完全性定理の証明までを統一的に著わした日本初の内容。
目次
第1章:束論
第2章:ブール代数
第3章:古典論理
第4章:位相空間論の基礎
第5章:ハイティング代数
第6章:直観主義論理
home
▲TOP