資料詳細

  • 1 件中、 1 件目

【図書】 現代数理論理学入門

復刊 --
Ｊ．Ｎ．クロスリー ／他著, 田中尚夫 ／訳   -- 共立出版 -- ２０１７．４ -- ２２ｃｍ -- １８５ｐ

資料詳細

タイトル 現代数理論理学入門
版情報 復刊
著者名等 Ｊ．Ｎ．クロスリー ／他著, 田中尚夫 ／訳  
出版 共立出版 ２０１７．４
大きさ等 ２２ｃｍ １８５ｐ
分類 410.96
件名 記号論理学
注記 原タイトル：Ｗｈａｔ　ｉｓ　Ｍａｔｈｅｍａｔｉｃａｌ　Ｌｏｇｉｃ？
注記 文献あり　索引あり
目次 第１章　歴史的概観；第２章　述語論理の完全性；第３章　モデル理論；第４章　チューリング計算機と帰納的関数；第５章　ゲーデルの不完全性定理；第６章　集合論；訳者解説
ISBN(13)、ISBN 978-4-320-11318-3　　 4-320-11318-7
書誌番号 1113478039
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113478039

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 410.9 一般書 利用可 - 2061151624 iLisvirtual

ページの先頭へ