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