Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 189 p.
ISBN 978-0-19-853189-0
Oxford logic guides , 0009
Localisation : Ouvrage RdC (ROSE)
fonction de base # hiérarchie étendue de Grzegorczyk # induction transfinie # petite classe de type Grzegorczyk # récursion ordinaire et nichée # sous-récursion # théorie de la hiérarchie # théorème d'incomplétude de Godel
03D20 ; 03F15 ; 03F40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 354 p.
ISBN 978-0-19-853261-3
Oxford science publications
Localisation : Ouvrage RdC (ROSE)
théorie des nombres
11-01 ; 11-02
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xii, 311 p.
ISBN 978-1-84882-888-9
Universitext
Localisation : Ouvrages RdC (ROSE)
groupe fini # construction de groupes # homomorphisme # isomorphisme # théorie de Sylow # groupe Abelien # série # groupe nilpotent
20-01
... Lire [+]