
- Les thormes d'incompltude et d'indcidabilit de Sminaire comprhensible, Grenoble, 2001
- Introduction a la th eorie de la r ecursivit e S eminaire compr ehensible, Grenoble, 2001
- Completeness and Banach's xed point theorem over generalized power series
- Introduction a la th eorie des ensembles S eminaire compr ehensible, Grenoble, 2001
- Introduction a la th eorie des mod eles Paris, 2002
- UNIVERSIT E PARIS 7 DENIS DIDEROT
- Introduction a la th eorie des ensembles Paris, 2002
- 1 D eveloppements ult erieurs de la th eorie des ensembles Dans cette derni ere section, on va essayer de pr esenter rapidement quelques d eveloppements
- Fonctions rcursives 1 Sminaire comprhensible, Paris, 2002
- Introduction a la th eorie des mod eles Paris, 2002
- Introduction a la th eorie de la r ecursivit e Paris, 2002
- Introduction a la th eorie des mod eles S eminaire compr ehensible, Grenoble, 2001
- Fonctions rcursives 1 Sminaire comprhensibe, Grenoble, 2001
- Introduction a la th eorie des ensembles S eminaire compr ehensible, Grenoble, 2001
- Introduction a la th eorie des ensembles Paris, 2002
- Introduction a la th eorie des mod eles S eminaire compr ehensible, Grenoble, 2001
- Les thormes d'incompltude et d'indcidabilit de Sminaire comprhensible, Paris, 2002
- Elimination of superfluous constants in the language of quasianalytic classes and description
- Introduction a la th eorie des ensembles Paris, 2002
- Elimination of superfluous constants in the language of quasi-analytic classes and description
- Fonctions rcursives1 Sminaire comprhensible, Grenoble, 2001
- Resume des resultats obtenus L'objet de mes travaux effectues est l'etude, selon le point de vue de la theorie
- Abstracts of the Second International Workshop on Differential Algebra and Related Topics
- Introductiona`la th'eorie des ensembles* Paris, 2002
- Introductiona`la th'eorie des mod`eles* Paris, 2002
- Introductiona`la th'eorie des mod`eles* S'eminaire compr'ehensible, Grenoble, 2001
- Elimination of superfluous constants in the language of quasi-analytic classes and description
- 1 D'eveloppements ult'erieurs de la th'eorie des ensembles Dans cette derni`ere section, on va essayer de pr'esenter rapidement quelques d*
- Fonctions r#cursives 1 S#minaire compr#hensible, Grenoble, 2001
- Introductiona`la th'eorie des ensembles* S'eminaire compr'ehensible, Grenoble, 2001
- UNIVERSITE' PARIS 7 -DENIS DIDEROT UFR de Math'ematiques
- Introductiona`la th'eorie de la r'ecursivit'e * S'eminaire compr'ehensible, Grenoble, 2001
- Introductiona`la th'eorie des ensembles* Paris, 2002
- Introductiona`la th'eorie des ensembles* Paris, 2002
- Introductiona`la th'eorie des mod`eles* Paris, 2002
- Introductiona`la th'eorie des ensembles* S'eminaire compr'ehensible, Grenoble, 2001
- Introductiona`la th'eorie de la r'ecursivit'e* Paris, 2002
- Completeness and Banach's fixed point theorem over generalized power series
- Rapport sur les "mini-cours de Logique" Rambaud Alexandre
- Quasi-analyticit'e, o-minimalit'e et e'limination des quantificateurs
- Introductiona`la th'eorie des mod`eles* S'eminaire compr'ehensible, Grenoble, 2001
- Rapport sur les "mini-cours de Logique" Rambaud Alexandre
- Rapport scientifique Colloque autour de l'O-minimalit
- Curriculum Vitae (suite) RAMBAUD Alexandre
- UNIVERSITE PARIS 7 -DENIS DIDEROT UFR de Mathematiques
- LOGIQUE MATHEMATIQUE (Logique pour mathematiciens)
- Quasi-analyticite, o-minimalite et elimination des quantificateurs