資料詳細

  • 1 件中、 1 件目

記号論理学入門 貸出中

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

所蔵

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

所蔵館 場所 棚番号 請求記号 資料コード 貸出利用 状態
本館 ４階自然 11 /410.96/ｺﾏ/973991 1109739911 閲可 貸可 協可 個人貸出

ページの先頭へ

資料詳細

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

ページの先頭へ