Recomienda este artículo a tus amigos:
Forcing with Random Variables and Proof Complexity - London Mathematical Society Lecture Note Series Krajicek, Jan (Charles University, Prague)
Forcing with Random Variables and Proof Complexity - London Mathematical Society Lecture Note Series
Krajicek, Jan (Charles University, Prague)
Aimed at researchers and graduate students in mathematics and theoretical computer science, who are interested in logical approaches to fundamental problems of computational complexity theory, and of proof complexity in particular.
264 pages, Illustrations
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 23 de diciembre de 2010 |
| ISBN13 | 9780521154338 |
| Editores | Cambridge University Press |
| Páginas | 264 |
| Dimensiones | 152 × 225 × 15 mm · 382 g |
| Lengua | Inglés |