En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 03F55 8 résultats

Filtrer
Sélectionner : Tous / Aucun
P Q
r x
K | x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Bakundi (1) 1981-1983 : traces d'un séminaire Bobo Seke ; Bebbouchi, Rachid | Université Louis Pasteur 1983

Congrès

Publication de l'IRMA : Université Louis Pasteur Strasbourg

Cote : M/A8(222)

analyse non standard ; équation différentielle ; fonction différentiable ; forme de Pfaff ; optimisation ; perturbation singulière

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Constructive mathematics Richman, Fred | Springer 1981

Congrès

Lecture notes in mathematics

Cote : M/A1(873)
ISBN/ISSN : 3-540-10850-5

démonstration ; mathématique constructive ; métamathématique

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

From Brouwer to Hilbert : the debate on the foundations of mathematics in the 1920s Mancosu, Paolo | Oxford University Press 1998

Monographie

Cote : MANCOSU f
ISBN/ISSN : 0-19-509632-0

histoire des mathématiques ; intuitionisme ; logique ; mathématique (sujets divers) ; philosophie

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Varieties of constructive mathematics Bridges, Douglas ; Richman, Fred | Cambridge university press 1987

Monographie

London Mathematical Society lecture note series

Cote : BRIDGES v
ISBN/ISSN : 0-521-31802-5

algèbre constructive ; analyse constructive ; fondement des mathématiques ; intuitionisme ; topose

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Selected papers Bishop, Errett | World Scientific 1986

Monographie

Cote : BISHOP s
ISBN/ISSN : 9-971501-27-9

biographie ; ergodicité ; mesure ; mouvement brownien ; oeuvres

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Extensional Gödel functional interpretation : a consistency proof of classical analysis Luckhardt, Horst | Springer 1973

Monographie

Lecture notes in mathematics

Cote : M/A1(306)
ISBN/ISSN : 3-540-06119-3

démonstration ; mathématique constructive

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Metamathematical investigation of intuitionistic arithmetic and analysis Troelstra, A. S. | Springer 1973

Monographie

Lecture notes in mathematics

Cote : M/A1(344)
ISBN/ISSN : 3-540-06491-5

intuitionisme ; logique ; métamathématique

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Proof theory and intuitionistic Scarpellini, Bruno | Springer 1971

Monographie

Lecture notes in mathematics

Cote : M/A1(212)
ISBN/ISSN : 3-540-05541-X

démonstration ; intuitionisme ; mathématique constructive

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Listes : nb d'elts/page

Sélectionner : Tous / Aucun