Documents

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

MSJ Memoirs : Mathematical Society of Japan

Cote : M/A35(2)
ISBN/ISSN : 4-931469-02-7

fondement des mathématiques ; logique

... Lire [+]

Sélection

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

Contemporary mathematics

Cote : M/A23(106)
ISBN/ISSN : 0-8218-5110-1

fonction calculable ; logique

... Lire [+]

Sélection

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

Publications mathématiques de l'Université Paris VII

Cote : M/A7(27)

fondement des mathématiques ; logique

... Lire [+]

Sélection

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

Publications mathématiques de l'Université Paris VII

Cote : M/A7(19)

fondement des mathématiques ; logique

... Lire [+]

Sélection

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

Cote : Coll. POIZAT (2)
ISBN/ISSN : 2-85926-274-1

théorie stable

... Lire [+]

Sélection

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

Cote : RENNES s

histoire des mathématiques

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

Studies in logic and the foundations of mathematics

Cote : BARWISE k
ISBN/ISSN : 0-444-85345-6

analyse non standard ; automate ; ensemble projectif ; fonction récursive ; intuitionisme ; logique ; thèse de Church

... Lire [+]

Sélection

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

Cote : Coll. POIZAT (1)
ISBN/ISSN : 2-85926-268-7

théorie stable

... Lire [+]

Sélection

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

Lecture notes in pure and applied mathematics

Cote : ARRUDA m
ISBN/ISSN : 0-8247-6772-1

fondement de la logique ; logique

... Lire [+]

Sélection

Documents 03-06 18 résultats

Theories of types and proofs Takahashi, Masako ; Okada, Mitsuhiro ; Dezani-Ciancaglini, Mariangiola | Mathematical Society of Japan 1998 Nouveau

Logic and computation : Proceedings of a workshop Sieg, Wilfried | AMS 1990 Nouveau

Séminaire général de logique 1983-84 Delon, Françoise ; Lascar, Daniel ; Parigot, Michel | Université de Paris 7 - UER de mathématiques 1984 Nouveau

Séminaire général de logique 1982-83 Delon, Françoise ; Lascar, Daniel ; Louveau, Alain ; Sabbagh, Gabriel | Université de Paris 7 - UER de mathématiques 1983 Nouveau

Groupe d'étude de théories stables (Bruno Poizat) : 2e année : 1978/79 Poizat, Bruno | Université Pierre et Marie Curie - Institut Henri Poincaré. Secrétariat mathématique 1981 Nouveau

Séminaire d'histoire des mathématiques au XXe siècle | Université de Rennes I 1981 Nouveau

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

The Kleene symposium : Proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. Barwise, Jon ; Keisler, H. Jerome ; Kunen, Kenneth | North-Holland 1980 Nouveau

Groupe d'étude de théories stables (Bruno Poizat) : 1e année : 1977/78 Poizat, Bruno | Université Pierre et Marie Curie - Institut Henri Poincaré. Secrétariat mathématique 1978 Nouveau

Mathematical logic Arruda, Ayda I. ; Da Costa, Newton C. A. ; Chuaqui, Rolando | Marcel Dekker 1978 Nouveau