Documents

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

Cote : 2286 IREM
ISBN/ISSN : 2-909-96370-5

Effectivité - Infini mathématique - Tiers exclu - Epistémologie

mathématique constructive

... Lire [+]

Sélection

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

Philosophie et mathématiques

Cote : IREM 1351
ISBN/ISSN : 2-862-40574-7

philosophie des mathématiques ; mathématique constructive ; identité

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(1006)
ISBN/ISSN : 3-540-12335-0

algèbre commutative ; algèbre homologique ; anneau commutatif ; catégorie ; ensemble ; extension de corps ; groupe ; groupe abélien ; mathématique constructive ; modèle

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(859)
ISBN/ISSN : 3-540-10708-8

logique ; logique algébrique ; mathématique constructive ; modèle ; récurrence

... Lire [+]

Sélection

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

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

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

Lecture notes in mathematics

Cote : M/A1(874)
ISBN/ISSN : 3-540-10855-6

algèbre associative ; algèbre commutative ; algèbre homologique ; anneau associatif ; anneau commutatif ; ensemble ; groupe ; groupe topologique ; mathématique constructive ; modèle

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(891)
ISBN/ISSN : 3-540-11161-1

ensemble ; logique ; mathématique constructive ; modèle ; modèle non standard ; récurrence

... Lire [+]

Sélection

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

Philosophie et mathématiques

Cote : IREM 622
ISBN/ISSN : 2-862-40508-6

mathématique constructive

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(500)
ISBN/ISSN : 3-540-07533-X

démonstration ; mathématique constructive ; récurrence

... Lire [+]

Sélection

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

V

Universitext

Cote : SMORYNSKI l
ISBN/ISSN : 3-540-52236-0

démonstration ; équation diophantienne ; logique ; mathématique constructive

... Lire [+]

Sélection

Documents mathématique constructive 23 résultats

Filtrer

Type

Descripteurs

Date de parution

Auteurs

Mathématiques constructives : Hier et Demain. A propos du théorème des accroissements finis . De la difficulté d'être omniscient. Notes sur le formalisme en mathématiques. Quelques principes de travail. Lombardi, Henri | IREM de Besançon 1994 Nouveau

L'identité en mathématiques constructives Van Dalen, Dirk | IREM de Paris-Nord 1990 Nouveau

Abelian group theory Gobel, Rudiger ; Lady, L. ; Mader, A. | Springer 1983 Nouveau

Logic year 1979-80 Lerman, M. ; Schmerl, J. H. ; Soare, R. I. | Springer 1981 Nouveau

Constructive mathematics Richman, Fred | Springer 1981 Nouveau

Abelian group theory Gobel, Rudiger ; Walker, Elbert A. | Springer 1981 Nouveau

Logic symposia Hakone 1979, 1980 Müller, Gert Heinz ; Takeuti, Gaisi ; Tugué, Tosiyuki | Springer 1981 Nouveau

Mathématique constructive Apery, R. | IREM de Paris-Nord 1980 Nouveau

Proof theory symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday Diller, J. ; Müller, Gert Heinz ; Schütte, Kurt | Springer 1975 Nouveau

Logical number theory I : an introduction Smorynski, Craig | Springer 1991 Nouveau