Conte aos seus amigos sobre este item:
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 23 de dezembro de 2010 |
| ISBN13 | 9780521154338 |
| Editoras | Cambridge University Press |
| Páginas | 264 |
| Dimensões | 152 × 225 × 15 mm · 382 g |
| Idioma | Inglês |
Mostrar tudo
Mais por Krajicek, Jan (Charles University, Prague)
Ver tudo de Krajicek, Jan (Charles University, Prague) ( por exemplo Paperback Book e Hardcover Book )
Presentes de Natal podem ser trocados até 31 de janeiro