Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2010. gada 23. decembris |
| ISBN13 | 9780521154338 |
| Izdevēji | Cambridge University Press |
| Lapas | 264 |
| Izmēri | 152 × 225 × 15 mm · 382 g |
| Valoda | Angļu |