přejít na obsah
Arithmetic, proof theory, and computational complexity Náhled dokumentu
ZavřítNáhled dokumentu
Probíhá kontrola...

Arithmetic, proof theory, and computational complexity

Autor Gaisi Takeuti; Peter Clote; Jan Krajíček
Vydavatel: Oxford : Clarendon Press, 1993.
Edice: Oxford logic guides, 23
Vydání/formát:   Tištěná kniha : EnglishZobrazit všechny vydání a formáty
Databáze:WorldCat
Shrnutí:

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  Přečíst více...

Hodnocení:

(ještě nehodnoceno) 0 zobrazit recenze - Buďte první.

Předmětová hesla:
Více podobných

 

Vyhledat exemplář v knihovně

&AllPage.SpinnerRetrieving; Vyhledávání knihoven, které vlastní tento dokument...

Detaily

Typ dokumentu Kniha
Všichni autoři/tvůrci: Gaisi Takeuti; Peter Clote; Jan Krajíček
ISBN: 0198536909 9780198536901
OCLC číslo: 463723602
Poznámky: Bibliogr. à la fin de chaque chap.
Popis: X-428 p. : [1] portr. ; 25 cm.
Obsahy: 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
Název edice: Oxford logic guides, 23
Odpovědnost: ed. by Peter Clote ... Jan Krajíc̆ek ...
Více informací

Recenze

Recenze redakce

Souhrn od vydavatele

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 Přečíst více...

 
Recenze vložené uživatelem
Nahrávání recenzí GoodReads...
Přebírání recenzí DOGO books...

Štítky

Buďte první.
Potvrdit tento požadavek

Tento dokument jste si již vyžádali. Prosím vyberte Ok pokud chcete přesto v žádance pokračovat.

Propojená data


Primary Entity

<http://www.worldcat.org/oclc/463723602> # Arithmetic, proof theory, and computational complexity
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "463723602" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/347522273#Place/oxford> ; # Oxford
   schema:about <http://experiment.worldcat.org/entity/work/data/347522273#Topic/complexite> ; # complexité
   schema:about <http://experiment.worldcat.org/entity/work/data/347522273#Topic/theorie_demonstration> ; # théorie démonstration
   schema:about <http://experiment.worldcat.org/entity/work/data/347522273#Topic/theorie_nombre> ; # théorie nombre
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/347522273#Topic/theorie_de_la_demonstration> ; # Théorie de la démonstration
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/64133112> ; # Gaisi Takeuti
   schema:datePublished "1993" ;
   schema:editor <http://experiment.worldcat.org/entity/work/data/347522273#Person/clote_peter> ; # Peter Clote
   schema:editor <http://experiment.worldcat.org/entity/work/data/347522273#Person/krajicek_jan> ; # Jan Krajíček
   schema:exampleOfWork <http://worldcat.org/entity/work/id/347522273> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/347522273#Series/oxford_logic_guides> ; # Oxford logic guides ;
   schema:name "Arithmetic, proof theory, and computational complexity" ;
   schema:productID "463723602" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/463723602#PublicationEvent/oxford_clarendon_press_1993> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/347522273#Agent/clarendon_press> ; # Clarendon Press
   schema:workExample <http://worldcat.org/isbn/9780198536901> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/463723602> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/347522273#Agent/clarendon_press> # Clarendon Press
    a bgn:Agent ;
   schema:name "Clarendon Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/347522273#Person/clote_peter> # Peter Clote
    a schema:Person ;
   schema:familyName "Clote" ;
   schema:givenName "Peter" ;
   schema:name "Peter Clote" ;
    .

<http://experiment.worldcat.org/entity/work/data/347522273#Person/krajicek_jan> # Jan Krajíček
    a schema:Person ;
   schema:familyName "Krajíček" ;
   schema:givenName "Jan" ;
   schema:name "Jan Krajíček" ;
    .

<http://experiment.worldcat.org/entity/work/data/347522273#Series/oxford_logic_guides> # Oxford logic guides ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/463723602> ; # Arithmetic, proof theory, and computational complexity
   schema:name "Oxford logic guides ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/347522273#Topic/theorie_de_la_demonstration> # Théorie de la démonstration
    a schema:Intangible ;
   schema:name "Théorie de la démonstration" ;
    .

<http://experiment.worldcat.org/entity/work/data/347522273#Topic/theorie_demonstration> # théorie démonstration
    a schema:Intangible ;
   schema:name "théorie démonstration" ;
    .

<http://viaf.org/viaf/64133112> # Gaisi Takeuti
    a schema:Person ;
   schema:familyName "Takeuti" ;
   schema:givenName "Gaisi" ;
   schema:name "Gaisi Takeuti" ;
    .

<http://worldcat.org/isbn/9780198536901>
    a schema:ProductModel ;
   schema:isbn "0198536909" ;
   schema:isbn "9780198536901" ;
    .


Content-negotiable representations

Zavřít okno

Prosím přihlaste se do WorldCat 

Nemáte účet? Můžete si jednoduše vytvořit bezplatný účet.