Recomienda este artículo a tus amigos:
Logical Foundations of Proof Complexity Cook, Stephen (University of Toronto)
Precio
$ 91,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 23 de jun. - 10 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
También disponible como:
Logical Foundations of Proof Complexity
Cook, Stephen (University of Toronto)
This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. The result is a uniform treatment of many systems in the literature.
496 pages, 17 b/w illus. 5 tables
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 6 de marzo de 2014 |
| ISBN13 | 9781107694118 |
| Editores | Cambridge University Press |
| Páginas | 496 |
| Dimensiones | 156 × 234 × 28 mm · 752 g |
| Lengua | Inglés |
![Cover for Jackson, Robert J. (University of Redlands, California) · Global Politics in the 21st Century: War in Peacetime (Paperback Book) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/882/9781009114882.jpg?jackson-robert-j-university-of-redlands-california-2026-global-politics-in-the-21st-century-war-in-peacetime-paperback-book&class=scaled&v=1778756904)
![Cover for Chen, Cher Weixia (George Mason University, Virginia) · International Human Rights International Human Rights: A Survey (Paperback Book) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/013/9781009855013.jpg?chen-cher-weixia-george-mason-university-virginia-2026-international-human-rights-international-human-rights-a-survey-paperback-book&class=scaled&v=1779708744)
