このページのリンク

<図書>
Mathematical logic / edited by R.O. Gandy and C.E.M. Yates
(Collected works of A.M. Turing)

出版者 Amsterdam ; New York : North-Holland : Elsevier
出版年 2001
本文言語 英語
大きさ xii, 293 p. : ill. ; 25 cm
著者標目 Turing, Alan Mathison, 1912-1954
Gandy, R. O.
Yates, Charles Edmund Michael
件 名 Logic, Symbolic and mathematical
一般注記 Includes bibliographical references and index
目次/あらすじ

所蔵情報を非表示

数学図書室(図書) 図書
410.96//Tu6//X5

0444504230


5200353175

書誌詳細を非表示

データ種別 図書
分 類 NDC:410.96
書誌ID 1000211796
ISBN 0444504230
NCID BA55221385

 類似資料