Documentation Documentation
Identifiant IdRef : 026892669
Notice de type Personne

Point d'accès autorisé

Girard, Jean-Yves (1947-....)

Information

Langue d'expression : Francais

Source

Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur / Jean-Yves Girard, 1972 [Thèse]

Le Théorème de Gödel / K. Gödel, E. Nagel et J.R. Newman comment., J.Y. Girard postf., 1989

Autres identifiants

Identifiant BNF : FRBNF119050349
Identifiant ISNI : 0000000078296607

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

... Références liées : ...