A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'double-negation translation'
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer... Imprimer...](./images/print.gif)
![](./images/orderby_az.gif)
Iterated inductive definitions and subsystems of analysis : recent proof- theoretical studies. / W. Buchholz
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5387 LNM/897 imprimé / autre CRDM LNM/LECTURES NOTES IN MATHEMATICS Disponible