algèbre catégorique # algèbre de Heyting # axiome d'infinité # calcul propositionnel intuitimiste # espace sobre # faisceau # faisceau en topos # locale # logique interne de topos # loi du milieu exclu # scène # topos classifiant # topos de Grothendieck # topos élémentaire

Ville d'édition : Cambridge

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9780521441803

ISBN : 0-521-44180-3

Collation : 24 cm#rel. ; Bibliogr. ; Index

Collection : Encyclopedia of mathematics and its applications

N° de collection : 0052

Localisation : Collection 1er étage

Type d'ouvrage : Monographie

Disponibilité : empruntable

Exemplaires