Detail produktu

Produkt mají v nabídce:

Bookshop
1 844 Kč
Do eshopu

Forcing with Random Variables and Proof Complexity - 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.

Podobné produkty