컨텐츠로 이동
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 리뷰를 가지고 오는 중…

태그

첫번째 되기

유사 항목

관련 주제:(3)

이 항목을 가지고 있는 사용자 목록 (1)

요청하신 것을 확인하기

이 항목을 이미 요청하셨을 수도 있습니다. 만약 이 요청을 계속해서 진행하시려면 Ok을 선택하세요.

링크된 데이터


Primary Entity

<http://www.worldcat.org/oclc/46494557> # Mathematical logic
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "46494557" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1016937#Place/amsterdam> ; # Amsterdam
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Person/turing_alan_mathison_1912_1954> ; # Alan Mathison Turing
    schema:about <http://viaf.org/viaf/41887917> ; # Alan Mathison Turing
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://dewey.info/class/511.3/e21/> ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/27990233> ; # C. E. M. Yates
    schema:contributor <http://viaf.org/viaf/234217153> ; # R. O. Gandy
    schema:datePublished "2001" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1016937> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1016937#Series/collected_works_of_a_m_turing> ; # Collected works of A.M. Turing.
    schema:name "Mathematical logic"@en ;
    schema:productID "46494557" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/46494557#PublicationEvent/amsterdam_london_north_holland_2001> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1016937#Agent/north_holland> ; # North Holland
    schema:workExample <http://worldcat.org/isbn/9780444504234> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA1Y7829> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/46494557> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
    schema:name "London" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Agent/north_holland> # North Holland
    a bgn:Agent ;
    schema:name "North Holland" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Person/turing_alan_mathison_1912_1954> # Alan Mathison Turing
    a schema:Person ;
    schema:birthDate "1912" ;
    schema:deathDate "1954" ;
    schema:familyName "Turing" ;
    schema:givenName "Alan Mathison" ;
    schema:name "Alan Mathison Turing" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Series/collected_works_of_a_m_turing> # Collected works of A.M. Turing.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/46494557> ; # Mathematical logic
    schema:name "Collected works of A.M. Turing." ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://viaf.org/viaf/234217153> # R. O. Gandy
    a schema:Person ;
    schema:familyName "Gandy" ;
    schema:givenName "R. O." ;
    schema:name "R. O. Gandy" ;
    .

<http://viaf.org/viaf/27990233> # C. E. M. Yates
    a schema:Person ;
    schema:familyName "Yates" ;
    schema:givenName "C. E. M." ;
    schema:name "C. E. M. Yates" ;
    .

<http://viaf.org/viaf/41887917> # Alan Mathison Turing
    a schema:Person ;
    schema:birthDate "1912" ;
    schema:deathDate "1954" ;
    schema:familyName "Turing" ;
    schema:givenName "Alan Mathison" ;
    schema:name "Alan Mathison Turing" ;
    .

<http://worldcat.org/isbn/9780444504234>
    a schema:ProductModel ;
    schema:isbn "0444504230" ;
    schema:isbn "9780444504234" ;
    .


Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

계정이 없으세요? 아주 간단한 절차를 통하여 무료 계정을 만드실 수 있습니다.