First order categorical logic:model-theoretical methods in the theory oftopoi an / Michael Makkai

Public ISBD Titre : First order categorical logic:model-theoretical methods in the theory oftopoi an Type de document : texte imprimé Auteurs : Michael Makkai ; Reyes, G. Editeur : Springer-Verlag Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 611 Importance : VIII-301 ISBN/ISSN/EAN : 978-0-387-08439-8 Langues : Anglais Mots-clés : topos faisceau langage infinitaire Index. décimale : LNM First order categorical logic:model-theoretical methods in the theory oftopoi an [texte imprimé] / Michael Makkai ; Reyes, G. . - [S.l.] : Springer-Verlag, [s.d.] . - VIII-301. - (Lecture Notes in Mathematics, ISSN 0075-8434; 611) . ISBN : 978-0-387-08439-8 Langues : Anglais Mots-clés : topos faisceau langage infinitaire Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
7180	LNM/611	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

---

page 1/1