トップメニュー >

資料詳細

記号論理学入門貸出可

小松寿／著 -- 森北出版 -- 1997.2 -- 410.96

所蔵

所蔵件数は 1 件です。現在の予約件数は 0 件です。

所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
地下書庫	/410.9/ｺ/	113426738	成人一般	可能

ページの先頭へ

資料詳細

タイトル	記号論理学入門
タイトルカナ	キゴウロンリガクニュウモン
著者	小松寿／著
著者カナ	コマツヒサシ
出版者	森北出版
出版年	1997.2
ページ数	195p
大きさ	22cm
一般件名	記号論理学
ISBN	4-627-05000-3
分類記号	410.96
内容紹介	著者が広島市立大学で行った記号論理学の入門コースの講義原稿をまとめたもの。命題論理及び1階述語論理の公理論、モデル理論のみを取り上げて解説。記号論理学とはどういったものか、その概念を説明する。

ページの先頭へ