A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Logical foundations of proof complexity / Stephen Cook
Exemplaires
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
19319 | 03C176 | imprimé / autre | CRDM | 03/MATHEMATICAL LOGIC AND FOUNDATIONS | Disponible |