Documents

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

Publication IREM de Paris VII

Cote : IREM 605

récurrence

... Lire [+]

Sélection

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(1429)
ISBN/ISSN : 3-540-52734-6

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(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(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(962)
ISBN/ISSN : 3-540-11961-2

algèbre commutative ; algèbre homologique ; analyse fonctionnelle ; anneau commutatif ; catégorie ; groupoïde ; logique ; récurrence ; structure algébrique ; topologie algébrique ; topologie générale ; treillis

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

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

Documents récurrence 36 résultats

Récurrence Girodet, M. A. ; Picard, N. | IREM de Paris VII Nouveau

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

Logic and computer science Odifreddi, P. | 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

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

Category theory : applications to algebra, logic and topology Kamps, K. H. ; Pumplün, D. ; Tholen, W. | Springer 1982 Nouveau

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

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