IRMA - Documents

Bibliothèques de mathématique et de l'IREM

MathCongrès

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

logique ; théorie des modèles

... Lire [+]

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

catégorie

... Lire [+]

MathOuvrage

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

... Lire [+]

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

topos

... Lire [+]

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

catégorie ; modèle mathématique

... Lire [+]

Z

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents Scedrov, Andre | enregistrements trouvés : 5

Scedrov, Andre

Logic and computer science Ed. Homer, S. ; Ed. Nerode, A. ; Ed. Platek, R.A. ; Ed. Sacks, Gerald E. ; Ed. Scedrov, Andre. -Berlin : Springer , 1990 . - 162
https://doi.org/10.1007/BFb0093921
Nouveau

Categories in computer science and logic Ed. Gray, J.W. ; Ed. Scedrov, Andre. -Providence RI : American mathematical Society , 1989 . - x-382
Nouveau

Categories, allegories Freyd, Peter J. ; Scedrov, Andre. -Amsterdam : North-Holland , 1990 . - xvii, 296
Nouveau

Freyd's models for the independence of the axiom of choice Blass, A. ; Scedrov, Andre. -Providence RI : American mathematical Society , 1989 . - viii, 134 p.
Nouveau

Forcing and classifying topoi Scedrov, Andre. -Providence RI : American mathematical Society , 1984 . - x , 93 p.
Nouveau

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents Scedrov, Andre | enregistrements trouvés : 5

Scedrov, Andre

Logic and computer science Ed. Homer, S. ; Ed. Nerode, A. ; Ed. Platek, R.A. ; Ed. Sacks, Gerald E. ; Ed. Scedrov, Andre. -Berlin : Springer , 1990 . - 162 https://doi.org/10.1007/BFb0093921 Nouveau

Categories in computer science and logic Ed. Gray, J.W. ; Ed. Scedrov, Andre. -Providence RI : American mathematical Society , 1989 . - x-382 Nouveau

Categories, allegories Freyd, Peter J. ; Scedrov, Andre. -Amsterdam : North-Holland , 1990 . - xvii, 296 Nouveau

Freyd's models for the independence of the axiom of choice Blass, A. ; Scedrov, Andre. -Providence RI : American mathematical Society , 1989 . - viii, 134 p. Nouveau

Forcing and classifying topoi Scedrov, Andre. -Providence RI : American mathematical Society , 1984 . - x , 93 p. Nouveau

Logic and computer science Ed. Homer, S. ; Ed. Nerode, A. ; Ed. Platek, R.A. ; Ed. Sacks, Gerald E. ; Ed. Scedrov, Andre. -Berlin : Springer , 1990 . - 162
https://doi.org/10.1007/BFb0093921
Nouveau

Categories in computer science and logic Ed. Gray, J.W. ; Ed. Scedrov, Andre. -Providence RI : American mathematical Society , 1989 . - x-382
Nouveau

Categories, allegories Freyd, Peter J. ; Scedrov, Andre. -Amsterdam : North-Holland , 1990 . - xvii, 296
Nouveau

Freyd's models for the independence of the axiom of choice Blass, A. ; Scedrov, Andre. -Providence RI : American mathematical Society , 1989 . - viii, 134 p.
Nouveau

Forcing and classifying topoi Scedrov, Andre. -Providence RI : American mathematical Society , 1984 . - x , 93 p.
Nouveau