Forcing with Random Variables and Proof Complexity - London Mathematical Society Lecture Note Series - Krajicek, Jan (Charles University, Prague) - Książki - Cambridge University Press - 9780521154338 - 23 grudnia 2010
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Krajicek, Jan (Charles University, Prague)

Cena
zł 319,90

Zamówione z odległego magazynu

Przewidywana dostawa 24 gru - 2 sty 2025
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń 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

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 23 grudnia 2010
ISBN13 9780521154338
Wydawcy Cambridge University Press
Strony 264
Wymiary 152 × 225 × 15 mm   ·   382 g
Język English  
Pokaż wszystko

Więcej od Krajicek, Jan (Charles University, Prague)

Zobacz wszystko od Krajicek, Jan (Charles University, Prague) ( np. Paperback Book i Hardcover Book )