Documents

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

Lecture notes in mathematics

Cote : M/A1(1292)
ISBN/ISSN : 3-540-18674-3

classification ; logique ; modèle

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

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(872)
ISBN/ISSN : 3-540-10849-1

ensemble ; 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(834)
ISBN/ISSN : 3-540-10269-8

logique algébrique ; modèle

... Lire [+]

Sélection

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

Astérisque

Cote : M/A3(73)

arithmétique ; modèle arithmétique

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(689)
ISBN/ISSN : 3-540-09086-X

ensemble ; logique ; modèle ; récurrence

... Lire [+]

Sélection

Documents 03Cxx 29 résultats

Classification theory Baldwin, J. T. | Springer 1988 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

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

Set theory and model theory Jensen, Ronald Björn ; Prestel, Alexander | 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

Model theory of algebra and arithmetic Pacholski, L. ; Wierzejewski, J. ; Wilkie, A. J. | Springer 1980 Nouveau

Modèles de l'arithmétique : Séminaire Paris VII Mc Aloon, Kenneth | SMF 1980 Nouveau

Cabal seminar 76-77 Kechris, A. S. ; Moschovakis, Y. N. | Springer 1978 Nouveau