First order categorical logic : model-theoretical methods in the theory of topoi and related categories

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Makkai Mihály (Auteur), Reyes Gonzalo E (Auteur)
Format : Livre
Langue : anglais
Titre complet : First order categorical logic : model-theoretical methods in the theory of topoi and related categories / Michael Makkai, Gonzalo E. Reyes
Publié : Berlin, Heidelberg, New York : Springer-Verlag , 1977, cop. 1977
Description matérielle : 1 vol. (VIII-301 p.)
Collection : Lecture notes in mathematics ; 611
Sujets :
LEADER 01920cam a2200553 4500
001 PPN018218946
003 http://www.sudoc.fr/018218946
005 20190627114000.0
010 |a 3-540-08439-8  |b Berlin 
010 |a 0-387-08439-8  |b New York 
020 |a US  |b 7713221 //r85 
035 |a (OCoLC)423238944 
035 |a ocm03292691 
100 |a 19770907h19771977k y0frey0103 ba 
101 0 |a eng 
102 |a DE  |a US 
105 |a a a 000yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 1 |6 z01  |a nga  |2 rdacarrier 
200 1 |a First order categorical logic  |e model-theoretical methods in the theory of topoi and related categories  |f Michael Makkai, Gonzalo E. Reyes 
210 |a Berlin  |a Heidelberg  |a New York  |c Springer-Verlag  |d 1977, cop. 1977 
215 |a 1 vol. (VIII-301 p.)  |c ill.  |d 25 cm 
225 2 |a Lecture notes in mathematics  |v 611 
320 |a Bibliogr. p. [298]-301 
410 | |0 03292996X  |t Lecture notes in mathematics  |x 0075-8434  |v 611 
606 |3 PPN027237869  |a Théorie des modèles  |2 rameau 
606 |3 PPN027339521  |a Catégories (mathématiques)  |2 rameau 
606 |3 PPN027706222  |a Topos (mathématiques)  |2 rameau 
676 |a 510/.8 s 
680 |a QA3  |b .L28 no. 611 
686 |a 02H05  |c 1970  |2 msc 
686 |a 02H10  |c 1970  |2 msc 
686 |a 02J99  |c 1970  |2 msc 
686 |a 14F20  |c 1970  |2 msc 
700 1 |3 PPN082044902  |a Makkai  |b Mihály  |f 1939-....  |4 070 
701 1 |3 PPN032279981  |a Reyes  |b Gonzalo E  |4 070 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b Abes  |c 20190225  |g AFNOR 
915 |5 441092208:639656609  |b 7180 
930 |5 441092208:639656609  |b 441092208  |a LNM/611  |j u 
979 |a CCFA 
991 |5 441092208:639656609  |a exemplaire créé automatiquement par l'ABES 
997 |a CCFA  |b 7180  |d CMB  |e BAP  |s d  |c LNM/611 
998 |a 843402