m
     
Congrès

H 0 Logique des topos
introduction à la théorie des topos élémentaires

Schlomiuk, Dana I. (Principal)

Les Presse de l'Université de Montréal

1977

978-0-8405-0352-7

00006934

03G30

connecteur logique # langage d'un topos # logique des topos # non-validité du tiers exclu # quantificateur existentiel # quantificateur universel # représentabilité du foncteur "applications partielles" # théorie de Mikkelsen # topologie de la double négation # topos élémentaire # union finie de sous-objets # valeur faux

Ville d'édition : Montréal

Pays d'édition : Canada

Langue : Français

EAN13 : 9780840503527

ISBN : 0-8405-0352-0

Collation : 132 p. ; 28 cm. ; Bibliogr. ; broch. ; multigr.

Collection : SMS (Séminaires de Mathématiques Supérieures)

N° de collection : 0053

Localisation : Salle de manutention

Notes : Liste des publications du SMS

Type Congrès : Séminaire

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00006934

[disponible]
Z