Documents

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

Lecture notes in mathematics

Cote : M/A1(1432)
ISBN/ISSN : 3-540-52772-9

ensemble ; logique ; récurrence

... 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(1333)
ISBN/ISSN : 3-540-50020-0

ensemble ; récurrence

... Lire [+]

Sélection

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

Proceedings of symposia in pure mathematics

Cote : M/A5(42)
ISBN/ISSN : 0-8218-1447-8

récurrence

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(1141)
ISBN/ISSN : 3-540-15673-9

ensemble ; récurrence

... 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(1019)
ISBN/ISSN : 3-540-12688-0

ensemble ; logique ; récurrence

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(839)
ISBN/ISSN : 3-540-10288-4

ensemble ; logique ; récurrence

... Lire [+]

Sélection

Documents 03Exx 41 résultats

Recursion theory week Ambos-Spies, K. ; Müller, Gert Heinz ; Sacks, Gerald E. | Springer 1990 Nouveau

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

Cabal seminar 81-85 Kechris, A. S. ; Martin, Donald A. ; Steel, J. R. | Springer 1988 Nouveau

Recursion theory Nerode, Anil ; Shore, Richard A. | AMS 1985 Nouveau

Recursion theory week Ebbinghaus, Heinz-Dieter ; Müller, Gert Heinz ; Sacks, Gerald E. | Springer 1985 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

Cabal seminar 79-81 : proceedings, Caltech-UCLA logic seminar 1979-81 Kechris, A. S. ; Martin, Donald A. ; Moschovakis, Y. N. | Springer 1983 Nouveau

Cabal seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79 Kechris, A. S. ; Martin, Donald A. ; Moschovakis, Y. N. | Springer 1981 Nouveau