検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数在庫数予約数などを確認できます。

所蔵数	1	在庫数	1	予約数	0

書誌情報サマリ

書名	記号論理学
著者名	山本新／著
出版者	朝倉書店
出版年月	2023.11

この資料に対する操作

カートに入れるを押すとこの資料を予約する候補として予約カートに追加します。

いますぐ予約するを押すと認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

資料情報

各蔵書資料に関する詳細情報です。

No.	所蔵館	資料番号	請求記号	配架場所	帯出区分	状態
1	県立館内	305649055	133/ｼｳ247/	人文公開	持ち出し可	利用可

書誌詳細

この資料の書誌詳細情報です。

タイトルコード	1001120234450
書名	記号論理学
著者名	山本新／著入江俊夫／著田村高幸／著
出版者	朝倉書店
出版年月	2023.11
ページ数	9,221p
大きさ	21cm
ISBN（10桁）	4-254-50038-7
ISBN（13桁）	978-4-254-50038-7
分類記号	410.96
書名ヨミ	キゴウロンリガク
内容紹介	記号論理学の概説書。独習書として、また「論理学」の講義テキストとしても使用できるよう、命題論理から述語論理、様相論理、直観主義論理の完全性までを扱う。
著者紹介	岡山県生まれ。千葉大学、武蔵大学、青山学院大学などで非常勤講師を歴任。
参考文献年表	文献:p218～219
件名	記号論理学
言語区分	日本語
目次	第2章命題論理
	第3章述語論理
	第4章様相論理
	第5章直観主義論理
	補論1 ゲンツェンの論理体系
	補論2 様相論理への補論
	補論3 線形論理について
	§1.正しい推論 §2.対象言語とメタ言語 §3.公理体系
	§1.命題の記号化 §2.論理式 §3.真理値分析 §4.トートロジー §5.同値定理 §6.連言標準形 §7.選言標準形 §8.真理関数 §9.公理体系PL §10.演繹定理 §11.無矛盾性 §12.完全性 §13.正しい推論 §14.問題
	§1.命題の記号化 §2.限量記号の用法 §3.論理式 §4.束縛変項と自由変項 §5.解釈(1) §6.妥当な論理式 §7.妥当性のテスト §8.公理体系FL §9.無矛盾性 §10.解釈(2) §11.健全性 §12.完全性 §13.正しい推論 §14.問題
	§1.様相命題論理 §2.意味論 §3.健全性 §4.完全性 §5.決定可能性 §6.様相述語論理 §7.意味論 §8.健全性 §9.完全性
	§1.直観主義命題論理 §2.意味論 §3.健全性 §4.完全性 §5.決定可能性 §6.直観主義述語論理 §7.意味論 §8.健全性 §9.完全性
	§1.論理体系LK §2.ゲンツェンの基本定理 §3.LKの無矛盾性
	§1.意味論にかんする補論 §2.構文論にかんする補論
	§1.線形論理の発想 §2.線形論理の体系