資料詳細

  • 1 件中、 1 件目

【図書】 記号論理学入門

松原康夫 ／著   -- 創成社 -- ２００６．１１ -- ２１ｃｍ -- １８２ｐ

資料詳細

タイトル 記号論理学入門
著者名等 松原康夫 ／著  
出版 創成社 ２００６．１１
大きさ等 ２１ｃｍ １８２ｐ
分類 116.3
件名 記号論理学
注記 索引あり
目次 第１章　命題論理；第２章　論証の妥当性；第３章　述語論理；第４章　述語論理と真理の木；第５章　等号；第６章　関数記号；第７章　導出原理；第８章　方法の問題；第９章　決定不可能性；付録
ISBN(13)、ISBN 　　 4-7944-2245-8
書誌番号 1106084457
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1106084457

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ５階人文科学 Map 116.3 一般書 利用可 - 2037794670 iLisvirtual

ページの先頭へ