横浜市立図書館蔵書検索ページ
トップメニュー
詳細検索
ジャンル検索
新着・本紹介
お知らせ
レファレンス
(調べもの・相談)
Myライブラリ
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細検索
ジャンル検索
1 件中、 1 件目
【図書】
記号論理学入門
小松寿
/著 --
森北出版 -- 1997.02 -- 22cm -- 195p
予約申込
本棚へ
資料詳細
タイトル
記号論理学入門
著者名等
小松寿
/著
出版
森北出版 1997.02
大きさ等
22cm 195p
分類
116.3
件名
記号論理学
内容
参考文献:p186~187
要旨
本書は、著者が広島市立大学で行った記号論理学の入門コースの講義原稿をまとめたものである。内容は、初級クラスに必要最低限の、命題論理及び1階述語論理の公理論、モデル理論のみを扱い、初学者に記号論理学とはどういうものかに関するおおよその概念を得させるために、これに導入を付した。自習される読者の便宜を考えて、本文中の練習問題の約半数には巻末に解答を付してある。
目次
1 導入;2 命題論理の意味論;3 述語論理の意味論;4 命題論理の公理論;5 述語論理の公理論
ISBN(13)、ISBN
4-627-05000-3
書誌番号
1197007623
URL
https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1197007623
ページの先頭へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
別置
請求記号
資料区分
状態
取扱
資料コード
中央
書庫
116.3/20
一般書
利用可
-
2010527646
ページの先頭へ