東京大学工学教程 -- 情報工学
蓮尾一郎 /著, 浅田和之 /著   -- 丸善出版 -- 2024.9 -- 21cm -- 192p

資料詳細

タイトル 形式論理と計算可能性
シリーズ名 東京大学工学教程 情報工学
著者名等 蓮尾一郎 /著, 浅田和之 /著  
出版 丸善出版 2024.9
大きさ等 21cm 192p
分類 410.9
件名 数学基礎論
注記 並列タイトル:Formal Logic and Computability
注記 文献あり 索引あり
著者紹介 【蓮尾一郎】国立情報学研究所アーキテクチャ科学研究系教授(本データはこの書籍が刊行された当時に掲載されていたものです)
ISBN(13)、ISBN 978-4-621-31014-4   4-621-31014-3
書誌番号 1124035122
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1124035122

所蔵

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

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