資料詳細

  • 1 件中、 1 件目

【図書】 数理論理学入門

角田譲 ／著   -- 朝倉書店 -- １９９６．０６ -- ２１ｃｍ -- ２１１ｐ

資料詳細

タイトル 数理論理学入門
著者名等 角田譲 ／著  
出版 朝倉書店 １９９６．０６
大きさ等 ２１ｃｍ ２１１ｐ
分類 410.96
件名 記号論理学
目次 第１章　推論の形式；第２章　述語論理計算；第３章　演繹式計算；第４章　決定手続き
ISBN(13)、ISBN 　　 4-254-11062-6
書誌番号 1196036888
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1196036888

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 410.9/180 一般書 利用可 - 2008081673 iLisvirtual

ページの先頭へ