algèbre booléenne # arithmétique # axiome d'infinitude # colimite # constructivisme # espace topologique # factorisation d'images # faisceau # fibré # foncteur adjoint # fondement des mathématiques # intuitionisme # limite # logique # monomorphisme # oméga # philosophie des mathématiques # quantificateur # représentation d'objets # théorie des catégories # théorie des ensembles # topos # topoi # épimorphisme

Ville d'édition : Amsterdam ; N.Y. ; Oxford

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9780444852076

ISBN : 0-444-85207-7

Collation : Bibliogr. ; Index ; xv#fig.#23 cm#rel.

Collection : Studies in logic and the foundations of mathematics

N° de collection : 0098

Localisation : Ouvrage RdC (GOLD)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Exemplaires