컨텐츠로 이동
Mathematical logic 해당 항목을 미리보기
닫기해당 항목을 미리보기
확인중입니다…

Mathematical logic

저자: Alan Mathison Turing; R O Gandy; C E M Yates
출판사: Amsterdam ; New York : Elsevier Science, 2001.
판/형식:   인쇄본 : 영어모든 판과 형식 보기
데이터베이스: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; 해당항목을 보유하고 있는 도서관을 찾는 중

상세정보

장르/형태: Aufsatzsammlung
자료 유형: 인터넷 자료
문서 유형 도서, 인터넷 자원
모든 저자 / 참여자: Alan Mathison Turing; R O Gandy; C E M Yates
ISBN: 0444504230 9780444504234
OCLC 번호: 46472153
설명: xii, 293 pages : illustrations ; 25 cm.
내용: Ch. 1. The Nature of Mathematical Logic --
Ch. 2. First-Order Theories --
Ch. 3. Theorems in First-Order Theories --
Ch. 4. The Characterization Problem --
Ch. 5. The Theory of Models --
Ch. 6. Incompleteness and Undecidability --
Ch. 7. Recursion Theory --
Ch. 8. The Natural Numbers --
Ch. 9. Set Theory --
App. The Word Problem.
책임: edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman [and others].

리뷰

사용자-기여 리뷰
GoodReads 리뷰 가져오는 중…
DOGObooks 리뷰를 가지고 오는 중…

태그

첫번째 되기
요청하신 것을 확인하기

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

링크된 데이터


Primary Entity

<http://www.worldcat.org/oclc/46472153> # Mathematical logic
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "46472153" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1016937#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/programmeren_computers> ; # Programmeren (computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/enigma_chiffriermaschine> ; # Enigma
   schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/lambda_calculus> ; # Lambda-calculus
   schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/berekenbaarheid> ; # Berekenbaarheid
   schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/geheimschrift> ; # Geheimschrift
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/typentheorie> ; # Typentheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/automatentheorie> ; # Automatentheorie
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/234217153> ; # Robin O. Gandy
   schema:contributor <http://viaf.org/viaf/27990233> ; # C. E. M. Yates
   schema:creator <http://viaf.org/viaf/41887917> ; # Alan Mathison Turing
   schema:datePublished "2001" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1016937> ;
   schema:genre "Aufsatzsammlung"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1016937#Series/works> ; # Works.
   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 "46472153" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/46472153#PublicationEvent/amsterdam_new_york_elsevier_science_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1016937#Agent/elsevier_science> ; # Elsevier Science
   schema:url <http://www.myilibrary.com?id=104836> ;
   schema:url <http://www.sciencedirect.com/science/book/9780444504234> ;
   schema:workExample <http://worldcat.org/isbn/9780444504234> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA204145> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/46472153> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/1016937#Agent/elsevier_science> # Elsevier Science
    a bgn:Agent ;
   schema:name "Elsevier Science" ;
    .

<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/46472153> ; # Mathematical logic
   schema:name "Collected works of A.M. Turing" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Topic/programmeren_computers> # Programmeren (computers)
    a schema:Intangible ;
   schema:name "Programmeren (computers)"@en ;
    .

<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> # Robin O. Gandy
    a schema:Person ;
   schema:familyName "Gandy" ;
   schema:givenName "Robin O." ;
   schema:givenName "R. O." ;
   schema:name "Robin 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에 로그인 하십시오 

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