Conte aos seus amigos sobre este item:
Arithmetic, Proof Theory, and Computational Complexity - Oxford Logic Guides Peter Clote
Preço
R$ 748,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 23 de set - 5 de out
Receba avisos sobre novos lançamentos de Peter Clote
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
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
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 6 de maio de 1993 |
| ISBN13 | 9780198536901 |
| Editoras | Oxford University Press |
| Páginas | 442 |
| Dimensões | 162 × 242 × 30 mm · 810 g |
| Idioma | Inglês |
| 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) |
![Cover for My eyes for beauty pine (Sheet music) [Vocal score edition] (2028)](https://imusic.b-cdn.net/images/item/original/126/9780193501126.jpg?2028-my-eyes-for-beauty-pine-sheet-music&class=scaled&v=1550933031)
![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 Marian Iszatt-White · Leadership 4E (Paperback Book) [4 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/475/9780197939475.jpg?marian-iszatt-white-2027-leadership-4e-paperback-book&class=scaled&v=1788787135)
![Cover for Gillespie, Andrew (Formerly Head of Business and Marketing Director, d'Overbroecks, Oxford and Associate Lecturer, Formerly Head of Business and Marketing Director, d'Overbroecks, Oxford and Associate Lecturer, Oxford Brookes University) · Foundations of Economics (Paperback Book) [6 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/235/9780192846235.jpg?gillespie-andrew-formerly-head-of-business-and-marketing-director-d-overbroecks-oxford-and-associate-lecturer-formerly-head-of-business-and-marketing-director-d-overbroecks-oxford-and-associate-lecturer-oxford-brookes-university-2027-foundations-of-economi&class=scaled&v=1784550996)
