横浜市立図書館蔵書検索ページ
トップメニュー
詳細検索
ジャンル検索
新着・本紹介
お知らせ
レファレンス
(調べもの・相談)
Myライブラリ
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細検索
ジャンル検索
1 件中、 1 件目
【図書】
自然な推論のための論理学
大出晁
/著 --
勁草書房 -- 1991.1 -- 22cm -- 251p
予約申込
本棚へ
資料詳細
タイトル
自然な推論のための論理学
著者名等
大出晁
/著
出版
勁草書房 1991.1
大きさ等
22cm 251p
分類
116
件名
論理学
内容
参考文献:p237-238
要旨
日常的な推論の方法に近いかたちで形式化された、直観主義論理と古典論理の中間のシステム。
目次
第1章 推論とは(論理の目覚め;論理学の誕生;推論の構造);第2章 文を単位とする推論(推論の表わし方;推論の規則;排中律について;文の真・偽と推論規則;直観主義・古典論理のモデル;推論規則の応用例);第3章 文の内部に立ち入る推論(文の内部構造;推論規則の使い方;モデルとタブロー;妥当性と健全性;完全性;集合論とその推論の例);付録(他の論理系との関連;タブローの基本定理;量子論理その他;メタ定理の証明法についてのコメント)
ISBN(13)、ISBN
4326100877
書誌番号
1190371247
URL
https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1190371247
ページの先頭へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
別置
請求記号
資料区分
状態
取扱
資料コード
中央
書庫
116/44
一般書
利用可
-
0004328787
ページの先頭へ