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

Mathematical logic

저자: Alan Mathison Turing; R O Gandy; C E M Yates; et al
출판사: Amsterdam ; New York : Elsevier Science, 2001.
판/형식:   도서 : 영어모든 판과 형식 보기
데이터베이스:WorldCat
평가:

(아무런 평가가 없습니다.) 0 리뷰와 함께 - 첫번째로 올려주세요.

주제
다음과 같습니다:

 

온라인으로 문서 찾기

이 항목에 대한 링크

도서관에서 사본 찾기

&AllPage.SpinnerRetrieving; 해당항목을 보유하고 있는 도서관을 찾는 중

상세정보

자료 유형: 인터넷 자료
문서 형식: 책, 인터넷 자원
모든 저자 / 참여자: Alan Mathison Turing; R O Gandy; C E M Yates; et al
ISBN: 0444504230 9780444504234
OCLC 번호: 46472153
설명: xii, 293 p. : ill. ; 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 ... [et al.].

리뷰

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

태그

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

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

링크된 데이터


<http://www.worldcat.org/oclc/46472153>
library:oclcnum"46472153"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/46472153>
rdf:typeschema:Book
rdfs:seeAlso
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
rdf:typeschema:Intangible
schema:name"Programmeren (computers)"
schema:about
schema:about
schema:about
schema:about
schema:about
schema:author
schema:contributor
schema:contributor
schema:datePublished"2001"
schema:exampleOfWork<http://worldcat.org/entity/work/id/1016937>
schema:inLanguage"en"
schema:name"Mathematical logic"
schema:numberOfPages"293"
schema:publisher
schema:workExample
schema:workExample

Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

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