資料詳細

  • 1 件中、 1 件目

【図書】 真理・証明・計算

論理と機械 --
内井惣七 ／著   -- ミネルヴァ書房 -- １９８９．４ -- ２１ｃｍ -- １９７ｐ

資料詳細

タイトル 真理・証明・計算
副書名 論理と機械
著者名等 内井惣七 ／著  
出版 ミネルヴァ書房 １９８９．４
大きさ等 ２１ｃｍ １９７ｐ
分類 410.96
件名 記号論理学
目次 １　論理学の歴史から；２　真理関数と分析的方法；３　自然演繹と証明；４　証明と真理；５　述語論理のモデル；６　述語論理の証明；７　述語論理の完全性；８　機械１―有限オートマトン；９　機械２―テューリング機械；１０　決定不可能な問題
ISBN(13)、ISBN 　　 4-623-01884-9
書誌番号 1190303506
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1190303506

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 410.9/94 一般書 貸出中 - 0003924467 iLisvirtual

ページの先頭へ