A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 03-XX Mathematical logic and foundations > 03FXX Proof theory and constructive mathematics > 03F15 Recursive ordinals and ordinal notations
03F15 Recursive ordinals and ordinal notations
catégorie vide