Borrow it
 Architecture Library
 Bizzell Memorial Library
 Boorstin Collection
 Chinese Literature Translation Archive
 Engineering Library
 Fine Arts Library
 Harry W. Bass Business History Collection
 History of Science Collections
 John and Mary Nichols Rare Books and Special Collections
 Library Service Center
 Price College Digital Library
 Western History Collections
The Resource Bounded arithmetic, propositional logic, and complexity theory, Jan Krajicek
Bounded arithmetic, propositional logic, and complexity theory, Jan Krajicek
Resource Information
The item Bounded arithmetic, propositional logic, and complexity theory, Jan Krajicek represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Oklahoma Libraries.This item is available to borrow from all library branches.
Resource Information
The item Bounded arithmetic, propositional logic, and complexity theory, Jan Krajicek represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Oklahoma Libraries.
This item is available to borrow from all library branches.
 Summary
 This book presents an uptodate, unified treatment of research in bounded arithmetic and complexity of propositional logic, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing open problems. An introduction to the basics of logic and complexity theory is followed by discussion of important results in propositional proof systems and systems of bounded arithmetic. More advanced topics are then treated, including polynomial simulations and conservativity results, various witnessing theorems, the translation of bounded formulas (and their proofs) into propositional ones, the method of random partial restrictions and its applications, direct independence proofs, complete systems of partial relations, lower bounds to the size of constantdepth propositional proofs, the method of Boolean valuations, the issue of hard tautologies and optimal proof systems, combinatorics and complexity theory within bounded arithmetic, and relations to complexity issues of predicate calculus. Students and researchers in mathematical logic and complexity theory will find this comprehensive treatment an excellent guide to this expanding interdisciplinary area
 Language
 eng
 Extent
 1 online resource (xiv, 343 pages)
 Note
 Title from publisher's bibliographic system (viewed on 05 Oct 2015)
 Isbn
 9780511529948
 Label
 Bounded arithmetic, propositional logic, and complexity theory
 Title
 Bounded arithmetic, propositional logic, and complexity theory
 Statement of responsibility
 Jan Krajicek
 Title variation
 Bounded Arithmetic, Propositional Logic & Complexity Theory
 Language
 eng
 Summary
 This book presents an uptodate, unified treatment of research in bounded arithmetic and complexity of propositional logic, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing open problems. An introduction to the basics of logic and complexity theory is followed by discussion of important results in propositional proof systems and systems of bounded arithmetic. More advanced topics are then treated, including polynomial simulations and conservativity results, various witnessing theorems, the translation of bounded formulas (and their proofs) into propositional ones, the method of random partial restrictions and its applications, direct independence proofs, complete systems of partial relations, lower bounds to the size of constantdepth propositional proofs, the method of Boolean valuations, the issue of hard tautologies and optimal proof systems, combinatorics and complexity theory within bounded arithmetic, and relations to complexity issues of predicate calculus. Students and researchers in mathematical logic and complexity theory will find this comprehensive treatment an excellent guide to this expanding interdisciplinary area
 Cataloging source
 UkCbUP
 http://library.link/vocab/creatorName
 Krajíček, Jan
 Dewey number
 511.3
 Index
 index present
 LC call number
 QA9.56
 LC item number
 .K73 1995
 Literary form
 non fiction
 Nature of contents
 dictionaries
 Series statement
 Encyclopedia of mathematics and its applications
 Series volume
 volume 60
 http://library.link/vocab/subjectName

 Constructive mathematics
 Proposition (Logic)
 Computational complexity
 Label
 Bounded arithmetic, propositional logic, and complexity theory, Jan Krajicek
 Note
 Title from publisher's bibliographic system (viewed on 05 Oct 2015)
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Extent
 1 online resource (xiv, 343 pages)
 Form of item
 online
 Isbn
 9780511529948
 Isbn Type
 (ebook)
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other physical details
 digital, PDF file(s).
 Specific material designation
 remote
 System control number
 (UkCbUP)CR9780511529948
 Label
 Bounded arithmetic, propositional logic, and complexity theory, Jan Krajicek
 Note
 Title from publisher's bibliographic system (viewed on 05 Oct 2015)
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Extent
 1 online resource (xiv, 343 pages)
 Form of item
 online
 Isbn
 9780511529948
 Isbn Type
 (ebook)
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other physical details
 digital, PDF file(s).
 Specific material designation
 remote
 System control number
 (UkCbUP)CR9780511529948
Library Locations

Architecture LibraryBorrow itGould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US35.205706 97.445050



Chinese Literature Translation ArchiveBorrow it401 W. Brooks St., RM 414, Norman, OK, 73019, US35.207487 97.447906

Engineering LibraryBorrow itFelgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US35.205706 97.445050

Fine Arts LibraryBorrow itCatlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US35.210371 97.448244

Harry W. Bass Business History CollectionBorrow it401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US35.207487 97.447906

History of Science CollectionsBorrow it401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US35.207487 97.447906

John and Mary Nichols Rare Books and Special CollectionsBorrow it401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US35.207487 97.447906


Price College Digital LibraryBorrow itAdams Hall 102 307 West Brooks St., Norman, OK, 73019, US35.210371 97.448244

Western History CollectionsBorrow itMonnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US35.209584 97.445414
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.libraries.ou.edu/portal/Boundedarithmeticpropositionallogicand/V5GwpSzZcM0/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/portal/Boundedarithmeticpropositionallogicand/V5GwpSzZcM0/">Bounded arithmetic, propositional logic, and complexity theory, Jan Krajicek</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Bounded arithmetic, propositional logic, and complexity theory, Jan Krajicek
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.libraries.ou.edu/portal/Boundedarithmeticpropositionallogicand/V5GwpSzZcM0/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/portal/Boundedarithmeticpropositionallogicand/V5GwpSzZcM0/">Bounded arithmetic, propositional logic, and complexity theory, Jan Krajicek</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>