Tell your friends about this item:
Arithmetic, Proof Theory, and Computational Complexity - Oxford Logic Guides Peter Clote
Price
Íkr 16,659
excl. VAT
Ordered from remote warehouse
Expected delivery Jun 18 - Jul 2
Our customers say:
Add to your iMusic wish list
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 | Books Hardcover Book (Book with hard spine and cover) |
| Released | May 6, 1993 |
| ISBN13 | 9780198536901 |
| Publishers | Oxford University Press |
| Pages | 442 |
| Dimensions | 162 × 242 × 30 mm · 810 g |
| Language | English |
| Editor | Clote, Peter (Professor, Department of Computer Science, Professor, Department of Computer Science, Boston College, Chestnut Hill, USA) |
| Editor | Krajicek, Jan (Mathematical Institute, Mathematical Institute, Ceskoslovenska Akademie Ved Praha 1, Czechoslovakia) |
More by Peter Clote
Show all
Mere med samme udgiver
![Cover for Harris Jr., H. Stephen (Partner, Partner, Winston & Strawn LLP) · Anti-Monopoly Law and Practice in China (Paperback Book) [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-paperback-book&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 (Paperback Book) [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-paperback-book&class=scaled&v=1677285021)
![Cover for Hulur, Gizem (Professor, Professor, University of Bamberg) · The Seattle Longitudinal Study: Tracking Adult Development and Aging Over 50+ Years (Hardcover Book) [3 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/633/9780198879633.jpg?hulur-gizem-professor-professor-university-of-bamberg-2027-the-seattle-longitudinal-study-tracking-adult-development-and-aging-over-50-years-hardcover-book&class=scaled&v=1780312906)
![Cover for Pink, Thomas (Emeritus Professor of Philosophy, Emeritus Professor of Philosophy, King's College London) · Free Will: A Very Short Introduction - Very Short Introductions (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/826/9780198862826.jpg?pink-thomas-emeritus-professor-of-philosophy-emeritus-professor-of-philosophy-king-s-college-london-2027-free-will-a-very-short-introduction-very-short-introductions-paperback-book&class=scaled&v=1779708645)
![Cover for Gormley, Laurence (Professor of European Law & Jean Monnet Professor, Professor of European Law & Jean Monnet Professor, University of Groningen) · EU Taxation Law (Hardcover Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/403/9780198735403.jpg?gormley-laurence-professor-of-european-law-jean-monnet-professor-professor-of-european-law-jean-monnet-professor-university-of-groningen-2027-eu-taxation-law-hardcover-book&class=scaled&v=1619907403)
See all of Peter Clote ( e.g. Hardcover Book and Paperback Book )