컨텐츠로 이동
Arithmetic, proof theory, and computational complexity 해당 항목을 미리보기
닫기해당 항목을 미리보기
확인중입니다…

Arithmetic, proof theory, and computational complexity

저자: Gaisi Takeuti; Peter Clote; Jan Krajíček
출판사: Oxford : Clarendon press, 1993.
시리즈: Oxford logic guides, 23
판/형식:   도서 : 영어모든 판과 형식 보기
데이터베이스:WorldCat
요약:

This book principally concerns the area of "Logical Complexity Theory", the study of bounded arithmetic, propositional proof systems, length of proof, etc and relations to computational complexity  더 읽기…

평가:

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

주제
다음과 같습니다:

 

도서관에서 사본 찾기

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

상세정보

문서 형식:
모든 저자 / 참여자: Gaisi Takeuti; Peter Clote; Jan Krajíček
ISBN: 0198536909 9780198536901
OCLC 번호: 463723602
메모: Bibliogr. à la fin de chaque chap.
설명: X-428 p. : [1] portr. ; 25 cm.
내용: Preface ; 1. Open Problems ; 2. Note on the Existence of Most General Semi-unifiers ; 3. Kreisel's Conjecture for L31 (including a postscript by George Kreisel) ; 4. Number of Symbols in Frege Proofs with and without the Deduction Rule ; 5. Algorithm for Boolean Formula Evolution and for Tree Contraction ; 6. Provably Total Functions in Bounded Arithmetic Theories Ri3, Ui2 and Vi2 ; 7. On Polynomial Size Frege Proofs of Certain Combinatorial Principles ; 8. Interpretability and Fragments of arithmetic ; 9. Abbreviating Proofs Using Metamathematical Rules ; 10. Open Induction, Tennenbaum Phenomena, and Complexity Theory ; 11. Using Herbrand-type Theorems to Separate Strong Fragments of Arithmetic ; 12. An Equivalence between Second Order Bounded Domain Bounded Arithmetic and First Order Bounded Arithmetic ; 13. Integer Parts of Real Closed Exponential Fields (extended abstract) ; 14. Making Infinite Structures Finite in Models of Second Order Bounded Arithmetic ; 15. Ordinal Arithmetic in I ; 16. RSUV Isomorphism ; 17. Feasible Interpretability
일련 제목: Oxford logic guides, 23
책임: ed. by Peter Clote,... Jan Krajíc̆ek,...
더 많은 정보:

리뷰

편집자의 리뷰

출판사 줄거리

This book is a valuable survey of the present state of research in this fascinating domain of foundational studies. It can certainly serve as an information and reference source as well as a source 더 읽기…

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

태그

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

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

링크된 데이터


<http://www.worldcat.org/oclc/463723602>
library:oclcnum"463723602"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/463723602>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:datePublished"1993"
schema:editor
schema:editor
schema:exampleOfWork<http://worldcat.org/entity/work/id/347522273>
schema:inLanguage"en"
schema:name"Arithmetic, proof theory, and computational complexity"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

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