豊田工業高等専門学校

Computability, complexity, logic

E. Börger ; [translated into the English language and prepared for offset printing by J.C. Harvey]. -- North-Holland, 1989. -- (Studies in logic and the foundations of mathematics ; v. 128). <BB01500735>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~2件(全2件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 コメント 返却予定日 予約
0001 豊田高専 研究室 007.64||B 0059241 0件
0002 豊田高専 書庫1F 007.64||B 0059101 0件
No. 0001
巻号
所蔵館 豊田高専
配置場所 研究室
請求記号 007.64||B
資料ID 0059241
状態
コメント
返却予定日
予約 0件
No. 0002
巻号
所蔵館 豊田高専
配置場所 書庫1F
請求記号 007.64||B
資料ID 0059101
状態
コメント
返却予定日
予約 0件

書誌詳細

標題および責任表示 Computability, complexity, logic / E. Börger ; [translated into the English language and prepared for offset printing by J.C. Harvey]
出版・頒布事項 Amsterdam ; New York : North-Holland
出版・頒布事項 New York : Distributors for U.S.A. and Canada, Elsevier Science Publishing Company, Inc. , 1989
形態事項 xx, 592 p. : ill. ; 23 cm
巻号情報
ISBN 0444874062
書誌構造リンク Studies in logic and the foundations of mathematics <BB00068620> v. 128//a
その他の標題 原タイトル:Berechenbarkeit, Komplexität, Logik
注記 Originally published: F. Vieweg & Sohn Verlagsgesellschaft GmbH., 1985
注記 Includes bibliography (p. 529-573) and index
注記 Copyright Elsevier Science Publishers B.V., 1989
学情ID BA07194157
本文言語コード 英語
著者標目リンク *Börger, Egon, 1946- <NC:DA01377208>
分類標目 LCC:QA9.59
分類標目 DC20:511.3
分類標目 NDC7:410.12
分類標目 NDC7:116.3
件名標目等 Computable functions
件名標目等 Computational complexity
件名標目等 Logic, Symbolic and mathematical