A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Forcing with random variables and proof complexity / Jan Krajicek
Exemplaires
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
22219 | 03C191 | imprimé / autre | CRDM | 03/MATHEMATICAL LOGIC AND FOUNDATIONS | Disponible |
22220 | 03C191 | imprimé / autre | CRDM | 03/MATHEMATICAL LOGIC AND FOUNDATIONS | Disponible |