En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Scedrov, Andre 4 résultats

Filtrer
Sélectionner : Tous / Aucun
P Q
r x
K | x r

Scedrov, Andre

Scedrov, Andrej

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

Categories in computer science : Proceedings of the AMS-IMS-SIAM joint summer research conference Gray, John Walker ; Scedrov, Andre | AMS 1989

Congrès

Contemporary mathematics

Cote : M/A23(92)
ISBN/ISSN : 0-8218-5100-4

catégorie ; logique

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

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

Categories, allegories Freyd, Peter ; Scedrov, Andre | North-Holland mathematical library;Elsevier 1990

Monographie

North-Holland mathematical library

Cote : FREYD c
ISBN/ISSN : 0444703683

catégorie ; allégorie ; logique

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

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

Freyd's models for the independence of the axiom of choice Blass, Andreas ; Scedrov, Andre | AMS 1989

Monographie

Memoirs of the American Mathematical Society (Memoirs of the AMS)

Cote : M/A4(404)
ISBN/ISSN : 0-8218-2468-6

axiome du choix ; modèle ; topose

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

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

Forcing and classifying topoi Scedrov, Andre | AMS 1984

Monographie

Memoirs of the American Mathematical Society (Memoirs of the AMS)

Cote : M/A4(295)
ISBN/ISSN : 0-8218-2294-2

catégorie ; modèle ; topose

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Listes : nb d'elts/page

Sélectionner : Tous / Aucun