跳到内容
Mathematical logic 预览资料
关闭预览资料
正在查...

Mathematical logic

著者: R O Gandy; C E M Yates
出版商: Amsterdam ; London : North Holland, 2001.
丛书: Collected works of A.M. Turing.
版本/格式:   Print book : 英语查看所有的版本和格式
数据库:WorldCat
提要:

Alan Mathison Turing (1912-1954) made major contributions to several areas of science. He was a pioneer researcher in computer architecture and software engineering - his work in pure mathematics and  再读一些...

评估:

(尚未评估) 0 附有评论 - 争取成为第一个。

主题
更多类似这样的

 

在图书馆查找

&AllPage.SpinnerRetrieving; 正在查找有这资料的图书馆...

详细书目

提及的人: Alan Mathison Turing; Alan Mathison Turing
文件类型:
所有的著者/提供者: R O Gandy; C E M Yates
ISBN: 0444504230 9780444504234
OCLC号码: 46494557
描述: 1 volume
内容: Preface. Alan Mathison Turing-Chronolgy. Preface to this volume. Part I Computability and Ordinal Logics. Historical Introduction (Solomon Feferman). 1937 On Computable Numbers, with an Application to the Entscheidungsproblem (P.Lond.Math.Soc.(2)42,230-265). 1937 A Correction(ibid:43,544-546). 1937 Computability and -definability (J.Symb.Log.2 153-163). 1937 The p-function in -K Conversion (J.Symb.Log.2,164). Preface. Turing texts. 1938 Systems of Logic based on Ordinals (P.Lond.Math.Soc (2) 45,161-228). Preface(Solomon Feferman). Turing text. Part II Type Theory. General Introduction to Turing's work on Type Theory. Published Papers. 1942 A Formal Theorem in Church's Theory of Types (with M.H.A.Newman). (J.Symb.Log.7). Preface. Turing-Newman text. 1942 The Use of dots as Brackets in Church's System. (J.Symb.Log.7, 28-33). Preface. Turing text. 1948 Practical Forms of Type Theory (J.Symb.Log.13, 80-94). Preface. Turing text. Unpublished papers. 1941 Some Theorems about Church's System. 1943-4 Practical Forms of Type Theory II. 1944-5 The Reform of Mathematical Notation. Part III - Enigmas, Mysteries and Loose Ends. Turing's Treatise on the enigma. Preface (Andew Hodges). Excerpts from the "Enigma Paper". Turing's Papers on Programming. Preface (Martin Campbell-Kelly). Excerpts from original paper. Minimum Cost Sequential Analysis. Excerpt from unpublished manuscript. Commentary (Jack Good). The Nature of Turing and the Physical World(Andrew Hodges). Letter from Robin Gandy to Max Newman. Royal Society Memoir (Max Newman). Bibliography. Lists of contents of other volumes. Appendix:matters arising from other volumes.
丛书名: Collected works of A.M. Turing.
责任: edited by R.O. Gandy and C.E.M. Yates ; prefaces by Solomon Feferman [and others].

评论

用户提供的评论
正在获取GoodReads评论...
正在检索DOGObooks的评论

标签

争取是第一个!

相似资料

确认申请

你可能已经申请过这份资料。如果还是想申请,请选确认。

链接数据


<http://www.worldcat.org/oclc/46494557>
library:oclcnum"46494557"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:datePublished"2001"
schema:exampleOfWork<http://worldcat.org/entity/work/id/1016937>
schema:inLanguage"en"
schema:name"Mathematical logic"@en
schema:publication
schema:publisher
schema:workExample
umbel:isLike<http://bnb.data.bl.uk/id/resource/GBA1Y7829>
wdrs:describedby

Content-negotiable representations

关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.