Duality and definability in first order logic

Duality and definability in first order logic

Enregistré dans:
Détails bibliographiques
Auteur principal : Makkai Mihály (Auteur)
Format : Livre
Langue : anglais
Titre complet : Duality and definability in first order logic / Michael Makkai
Publié : Providence (R.I.) : American mathematical society , 1993
Description matérielle : 1 vol. (X-106 p.)
Collection : Memoirs of the American Mathematical Society ; 503
Sujets :
Logique mathématique
Topos (mathématiques)
Documents associés : Autre format: Duality and definability in first order logic
LEADER 02019cam a2200565 4500
001 PPN017117674
003 http://www.sudoc.fr/017117674
005 20190627114000.0
010 |a 0-8218-2565-8 
020 |a US  |b 934868 
020 |a GB  |b 95-25334 
035 |a (OCoLC)28213441 
035 |a ocm28213441 
073 1 |a 9780821825655 
100 |a 19930517h19931993k y0frey0103 ba 
101 0 |a eng 
102 |a US 
105 |a y 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 Duality and definability in first order logic  |f Michael Makkai 
210 |a Providence (R.I.)  |c American mathematical society  |d 1993 
215 |a 1 vol. (X-106 p.)  |d 26 cm 
225 2 |a Memoirs of the American Mathematical Society  |x 0065-9266  |v number 503 
305 |a Septembre 1993, volume 105, numero 503 
320 |a Bibliogr. p.105-106 
410 | |0 013293931  |t Memoirs of the American Mathematical Society  |x 0065-9266  |v 503 
452 | |0 195413865  |t Duality and definability in first order logic  |f Michael Makkai  |c Providence (R.I.)  |n American Mathematical Society  |d 2012  |s Memoirs of the American Mathematical Society  |y 978-1-4704-0080-4 
606 |3 PPN027662799  |a Logique mathématique  |2 rameau 
606 |3 PPN027706222  |a Topos (mathématiques)  |2 rameau 
676 |a 511.3 
680 |a QA3  |b .A57 no. 503 
686 |a 03C20  |c 1991  |2 msc 
686 |a 03C40  |c 1991  |2 msc 
686 |a 03C30  |c 1991  |2 msc 
686 |a 18D05  |c 1991  |2 msc 
700 1 |3 PPN082044902  |a Makkai  |b Mihály  |f 1939-....  |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 20181120  |g AFNOR 
915 |5 441092208:639561179  |b 15096 
930 |5 441092208:639561179  |b 441092208  |a Mem/503  |j u 
979 |a CCFA 
991 |5 441092208:639561179  |a exemplaire créé automatiquement par l'ABES 
997 |a CCFA  |b 15096  |d CMB  |e BAP  |s d  |c Mem/503 
998 |a 843036