
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 | English |
Mostrar tudo
Mais por Krajicek, Jan (Charles University, Prague)
Ver tudo de Krajicek, Jan (Charles University, Prague) ( por exemplo Paperback Book e Hardcover Book )