![]() |
著者:森田茂行
出版社:東京電機大学出版局
出版日:1999年06月10日頃
ISBN10:4501617101
ISBN13:9784501617103
販売価格:2,310円
本書は論理学を初めて学ぼうとする人対象にパズルを解くかのようなおもしろさ,わかりやすさで書かれている。
また,論理学体系を二分した場合の説明が可能であるか否かを追求する証明論と,真か疑かが問題となる解釈論の両方を取り込んだ形のセマンティックタブロー体系の立場から書かれていること,最近議論され初めたG体系についても本格的に書かれている点では非常に意義の高い本となっている。
序 対象言語とメタ文字
第1章 命題論理
第2章 一階の述語論理
第3章 等号関係をもつ一階の述語論理
第4章 直観主義の論理(IG体系)
第5章 様相命題論理
第6章 嘘つきのパラドックスと論理
|
ショップ | 古本・中古価格 | 在庫 | 詳細 |
---|---|---|---|
アマゾン(中古) | ![]() | ||
楽天市場(中古) | ![]() | ||
| ![]() | ||
au PAY マーケット(中古)
| ![]() | ||
メルカリ | ![]() | ||
楽天ラクマ | ![]() | ||
Yahoo!フリマ | ![]() | ||
ネットオフ
![]() | ![]() | ||
駿河屋 | ![]() | ||
ブックオフオンライン | ![]() | ||
スーパー源氏 | ![]() | ||
日本の古本屋 | ![]() | ||
ジモティー | ![]() | ||
Yahoo!オークション | ![]() | ||
モバオク | ![]() | ||
DMM通販(中古) | ![]() | ||
HMV & BOOKS(中古) | ![]() | ||
| ![]() | ||
| ![]() | ||
| ![]() | ||
楽天kobo(電子書籍) | ![]() | ||
| ![]() |
新品・買取・口コミ |
---|
履歴すべて削除 |
---|
キャンペーン・割引クーポン |
---|
【買取】駿河屋☆買取アップキャンペーン
【買取】送料やダンボール、キャンセル返送料すべて無料!おすすめの古本買取サービス
|