En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Maurer, C. 1 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Model theory and topoi
a collection of lectures by various authors Lawvere, F. W. ; Maurer, C. ; Wraith, G. C. | Springer-Verlag 1975

Ouvrage


Call n° : 00020498
catégorie interne # catégorie sémantique # classification # finitude # langage interne des topoi # logique et théorie des ensembles # sémantique de Kripke-Joyal # théorie de Horn abstraite # théorie des modèles # théorème de complétude pour catégorie logique # topos élémentaire # univers en topoi

02B15 ; 02C15 ; 02G20 ; 02H10 ; 02JXX

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Authors

Reference

MSC Codes

Publication Date