Fortell venner om denne varen:
Arithmetic, Proof Theory, and Computational Complexity - Oxford Logic Guides Peter Clote
Pris
NOK 1.319
Bestillingsvarer
Forventes levert 8. - 22. okt
Få varsel om nye utgivelser fra Peter Clote
Legg til iMusic ønskeliste
eller
Arithmetic, Proof Theory, and Computational Complexity - Oxford Logic Guides
Peter Clote
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 theory. This includes an open problem list of 7 fundamental and 39 technical questions together with a bibliography of references.
442 pages, line figures
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 6. mai 1993 |
| ISBN13 | 9780198536901 |
| Utgivere | Oxford University Press |
| Antall sider | 442 |
| Mål | 162 × 242 × 30 mm · 810 g |
| Språk | Engelsk |
| Redaktør | Clote, Peter (Professor, Department of Computer Science, Professor, Department of Computer Science, Boston College, Chestnut Hill, USA) |
| Redaktør | Krajicek, Jan (Mathematical Institute, Mathematical Institute, Ceskoslovenska Akademie Ved Praha 1, Czechoslovakia) |
![Cover for My eyes for beauty pine (Partitur) [Vocal score edition] (2028)](https://imusic.b-cdn.net/images/item/original/126/9780193501126.jpg?2028-my-eyes-for-beauty-pine-partitur&class=scaled&v=1550933031)
![Cover for Harris Jr., H. Stephen (Partner, Partner, Winston & Strawn LLP) · Anti-Monopoly Law and Practice in China (Pocketbok) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/089/9780198704089.jpg?harris-jr-h-stephen-partner-partner-winston-strawn-llp-2027-anti-monopoly-law-and-practice-in-china-pocketbok&class=scaled&v=1471196294)
![Cover for Gilmore, Stephen (Professor of Family Law and Vice-Dean, Professor of Family Law and Vice-Dean, King's College London) · Hayes & Williams' Family Law (Pocketbok) [8 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/233/9780192866233.jpg?gilmore-stephen-professor-of-family-law-and-vice-dean-professor-of-family-law-and-vice-dean-king-s-college-london-2027-hayes-williams-family-law-pocketbok&class=scaled&v=1677285021)
![Cover for Marian Iszatt-White · Leadership (Pocketbok) [4 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/475/9780197939475.jpg?marian-iszatt-white-2027-leadership-pocketbok&class=scaled&v=1788787135)
![Cover for Elliott, Mark (Professor of Public Law, Professor of Public Law, University of Cambridge) · Public Law 6e (Pocketbok) [6 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/704/9780197903704.jpg?elliott-mark-professor-of-public-law-professor-of-public-law-university-of-cambridge-2027-public-law-6e-pocketbok&class=scaled&v=1789391964)
![Cover for Atkins, Peter (Emeritus Professor, Emeritus Professor, University of Oxford) · Molecular Quantum Mechanics (Pocketbok) [6 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/323/9780197935323.jpg?atkins-peter-emeritus-professor-emeritus-professor-university-of-oxford-2027-molecular-quantum-mechanics-pocketbok&class=scaled&v=1786968296)
