資料詳細

  • 1 件中、 1 件目

記号論理学入門 貸出可

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

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 状態
７書庫 /410.1/コ/ 8130766359 一般 館内有

ページの先頭へ

資料詳細

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

ページの先頭へ