Documents

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

Publications mathématiques de l'Université Paris VII

Cote : M/A7(30)

complexité des algorithmes ; logique

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(1388)
ISBN/ISSN : 3-540-51527-5

logique

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(1104)
ISBN/ISSN : 3-540-13901-X

ensemble ; logique algébrique ; modèle ; modèle non standard

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(1103)
ISBN/ISSN : 3-540-13900-1

ensemble ; logique algébrique ; modèle ; modèle non standard

... Lire [+]

Sélection

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

Publications du département de mathématiques

Cote : Coll. LYON j

complexité des algorithmes ; langage

... 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(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.

Lecture notes in mathematics

Cote : M/A1(450)
ISBN/ISSN : 3-540-07152-0

anneau commutatif ; groupe ; logique ; logique symbolique

... 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

Documents 03Fxx 24 résultats

Séminaire de complexité algorithmique et de logique : 1986-1987-1988 Michel, Pascal ; Ressayre, Jean-Pierre | Université de Paris 7 1989 Nouveau

Mathematical logic and applications : proceedings, Kyoto 1987 Shinoda, Juichi ; Slaman, Theodore A. ; Tugué, Tosiyuki | Springer 1989 Nouveau

Computation and proof theory : Vol. 2 Richter, Michael M. ; Borger, Egon ; Oberschelp, Walter | Springer 1984 Nouveau

Models and sets : Vol. 1 Müller, Gert Heinz ; Richter, Michael M. | Springer 1984 Nouveau

Journées d'Avignon (octobre 1983) : théorie des langages et complexité des algorithmes Rozoy, Brigitte | Université Claude Bernard Lyon 1 - Département de Mathématiques 1984 Nouveau

Abelian group theory Gobel, Rudiger ; Lady, L. ; Mader, A. | Springer 1983 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

Algebra and logic Crossley, J. N. | Springer 1975 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