A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 03-XX Mathematical logic and foundations > 03DXX Computability and recursion theory > 03D70 Inductive definability
03D70 Inductive definability
catégorie vide