컨텐츠로 이동
Types, tableaus, and Gödel's God 해당 항목을 미리보기
닫기해당 항목을 미리보기
확인중입니다…

Types, tableaus, and Gödel's God

저자: Melvin Fitting
출판사: Dordrecht ; Boston : Kluwer Academic, ©2002.
시리즈: Trends in logic, v. 12.
판/형식:   도서 : 영어모든 판과 형식 보기
데이터베이스:WorldCat
요약:

Godel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. This title presents classical type theory, introduces tableau rules for it and gives the proof  더 읽기…

평가:

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

주제
다음과 같습니다:

 

온라인으로 문서 찾기

이 항목에 대한 링크

도서관에서 사본 찾기

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

상세정보

명시된 사람: Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel
자료 유형: 인터넷 자료
문서 형식: 책, 인터넷 자원
모든 저자 / 참여자: Melvin Fitting
ISBN: 1402006047 9781402006043
OCLC 번호: 49719340
설명: xv, 180 p. : ill. ; 25 cm.
내용: Preface. Part I: Classical Logic. 1. Classical Logic - Syntax. 2. Classical Logic - Semantics. 3. Classical Logic - Basic Tableaus. 4. Soundness and Completeness. 5. Equality. 6. Extensionality. Part II: Modal Logic. 7. Modal Logic, Syntax and Semantics. 8. Modal Tableaus. 9. Miscellaneous Matters. Part III: Ontological Arguments. 10. Godel's Argument, Background. 11. Godel's Argument, Formally. References. Index.
일련 제목: Trends in logic, v. 12.
책임: Melvin Fitting.
더 많은 정보:

리뷰

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

태그

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

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

링크된 데이터


<http://www.worldcat.org/oclc/49719340>
library:oclcnum"49719340"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:MediaObject
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:copyrightYear"2002"
schema:creator
schema:datePublished"2002"
schema:exampleOfWork<http://worldcat.org/entity/work/id/39256364>
schema:inLanguage"en"
schema:isPartOf
schema:name"Types, tableaus, and Gödel's God"@en
schema:numberOfPages"180"
schema:publication
schema:publisher
schema:workExample
umbel:isLike<http://d-nb.info/970529112>
wdrs:describedby

Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

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