H Forcing with random variables and proof complexity
2011
xvi, 247 p. ; 23 cm
9780521154338
46644
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 46644 | 1038331 | GALERIE |
Type de doc : M
Ville d'édition : Cambridge
Pays d'édition : gb
Langue ouvrage : eng
Collection : London mathematical society lecture note series
N° dans la collection : 382
ISSN Collection : 0076-0552
Bibliographie : Bibliogr. p. 236-242
Class. Math. 2000 : 03-02 ; 03C90 ; 03F20 ; 03F30 ; 60Axx ; 03C62
Class. Library : QA267.7.K73
N° LCCCN : 2010036194
Class. Dewey : 511.3'6
Lien SUDOC : https://www.sudoc.fr/149718241