Forcing with Random Variables and Proof Complexity - London Mathematical Society Lecture Note Series - Krajicek, Jan (Charles University, Prague) - Livros - Cambridge University Press - 9780521154338 - 23 de dezembro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Forcing with Random Variables and Proof Complexity - London Mathematical Society Lecture Note Series

Krajicek, Jan (Charles University, Prague)

Preço
Íkr 10.259,74

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 5 - 14 de nov
Adicione à sua lista de desejos do iMusic

Forcing with Random Variables and Proof Complexity - London Mathematical Society Lecture Note Series

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)