Proof complexity / (Record no. 7037)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02639cam a2200457Ii 4500 |
| 001 - CONTROL NUMBER | |
| control field | on1090812743 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20241121072738.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION | |
| fixed length control field | m d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr cnu|||unuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 190329s2019 enk ob 001 0 eng d |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | N$T |
| Language of cataloging | eng |
| Description conventions | rda |
| -- | pn |
| Transcribing agency | N$T |
| Modifying agency | N$T |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781108271585 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1108271588 |
| Qualifying information | (electronic bk.) |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | 2046158 |
| -- | (N$T) |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)1090812743 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA9.54 |
| Item number | .K72 2019 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | MAT |
| Subject category code subdivision | 000000 |
| Source | bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.3/6 |
| Edition number | 23 |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | MAIN |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Kraj�i�cek, Jan, |
| Relator term | author. |
| 9 (RLIN) | 11166 |
| 245 10 - TITLE STATEMENT | |
| Title | Proof complexity / |
| Statement of responsibility, etc | Jan Kraj�i�cek. |
| 264 #1 - | |
| -- | Cambridge, United Kingdom ; |
| -- | New York, NY, USA : |
| -- | Cambridge University Press, |
| -- | 2019. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 490 1# - SERIES STATEMENT | |
| Series statement | Encyclopedia of mathematics and its applications ; |
| Volume number/sequential designation | v. 170 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographical references and index. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. It stresses a view of proof complexity as a whole entity rather than a collection of various topics held together loosely by a few notions, and it favors more generalizable statements. Lower bounds for lengths of proofs, often regarded as the key issue in proof complexity, are of course covered in detail. However, upper bounds are not neglected: this book also explores the relations between bounded arithmetic theories and proof systems and how they can be used to prove upper bounds on lengths of proofs and simulations among proof systems. It goes on to discuss topics that transcend specific proof systems, allowing for deeper understanding of the fundamental problems of the subject. |
| 588 0# - | |
| -- | Online resource; title from PDF title page (EBSCO, viewed April 2, 2019). |
| 590 ## - LOCAL NOTE (RLIN) | |
| Local note | Master record variable field(s) change: 050, 072, 082, 650 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Proof theory. |
| 9 (RLIN) | 11167 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computational complexity. |
| 9 (RLIN) | 11168 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | MATHEMATICS / General. |
| Source of heading or term | bisacsh |
| 9 (RLIN) | 11169 |
| 655 #4 - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | Electronic books. |
| 9 (RLIN) | 3907 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Encyclopedia of mathematics and its applications ; |
| Volume number/sequential designation | v. 170. |
| 9 (RLIN) | 11170 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | EBSCOhost |
| Uniform Resource Identifier | <a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=2046158">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=2046158</a> |
| 938 ## - | |
| -- | EBSCOhost |
| -- | EBSC |
| -- | 2046158 |
| 994 ## - | |
| -- | 92 |
| -- | N$T |
No items available.