Berline, Chantal.
Berline, C. (Chantal)
Berline, C.
VIAF ID: 66528519 ( Personal )
Permalink: http://viaf.org/viaf/66528519
Preferred Forms
- 200 _ | ‡a Berline ‡b Chantal
-
-
-
- 100 1 _ ‡a Berline, C. ‡q (Chantal)
- 100 1 _ ‡a Berline, C. ‡q (Chantal)
-
-
- 100 1 _ ‡a Berline, Chantal
-
- 100 1 _ ‡a Berline, Chantal
-
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Étude du groupe linéaire d'ordre 2 d'un anneau de Boole | |
Groupes superstables : Anneaux avec élimination des quantificateurs | |
ISOMORPHISME ET EQUIVALENCE EQUATIONNELLE ENTRE MODELES DU λ-CALCUL | |
Map theory et antifondation | |
Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 | |
Modèles et théories du lambda calcul. | |
STRONGLY STABLE MODELS OF LAMBDA-CALCULUS AND INCOMPLETENESS RESULTS. |