資料詳細

【図書】記号論理学入門貸出可

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

所蔵

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

所蔵館	所蔵場所	棚区分	請求記号	資料コード	資料区分	帯出区分	状態	WEB書棚
山形県立	地下書庫		/410.96/ｺﾏ/	102908044	一般和書	帯出可	在庫

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