Model theory and topoi
a collection of lectures by various authors
Lawvere, F. W. (Editor) ; Maurer, C. (Editor) ; Wraith, G. C. (Editor)
1975
978-3-540-07164-8
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
Publisher City : Berlin ; Heidelberg ; N.Y.
Publisher country : Allemagne RDA
Language : English
EAN13 : 9783540071648
ISBN : 3-540-07164-4
Collation : 24 cm ; 354 p. ; Bibliogr. ; fig. ; rel.
Series : Lecture notes in mathematics
Nb in series : 0445
Location : Collection 1er étage
Book type : Anonyme
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00020498 | [available] |