資料詳細

  • 1 件中、 1 件目

記号論理学入門   貸出可

小松寿／著 -- 森北出版 -- １９９７．２ -- 410.96

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
書庫４門 /410/Ｋｏ６１/ 0010097005002 一般図書 書架

ページの先頭へ

資料詳細

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

ページの先頭へ