資料詳細

  • 1 件中、 1 件目

記号論理学入門 貸出可

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

所蔵

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

所蔵館 所蔵場所 請求記号 資料番号 資料区分 帯出区分 状態
一般 公開書庫東 410.9/97/ 00002976728 和書 帯出可 在庫 iLisvirtual

ページの先頭へ

資料詳細

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

ページの先頭へ