---

＜図書＞
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

 類似資料