Forcing with random variables and proof complexity
Auteur :
KrajÃÄek, Jan
Éditeur :
Cambridge University Press
ISBN :
9780521154338
Date de publication :
23 déc. 2010
Dimensions :
22,8 x 15,2 x 1,5 cm
Poids :
380 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.