Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 : Part I

Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 Part I

Enregistré dans:
Détails bibliographiques
Auteur principal : Logic colloquium
Collectivités auteurs : Logic colloquium 1983 Aix-la-Chapelle, Allemagne (Auteur), Association for symbolic logic (Éditeur scientifique)
Autres auteurs : Müller Gert Heinz (Éditeur scientifique), Richter Michael M. (Éditeur scientifique)
Format : Livre
Langue : anglais
Titre complet : Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. Part I / ed. by G. H. Müller and M. M. Richter
Publié : Berlin, New York [etc.] : Springer-Verlag , 1984
Description matérielle : 1 vol. (VIII-484 p.)
Collection : Lecture notes in mathematics ; 1103
Sujets :
Logique mathématique > Actes de congrès
Théorie des ensembles > Actes de congrès
Théorie des modèles > Actes de congrès
LEADER 02100cam a2200553 4500
001 PPN026254131
003 http://www.sudoc.fr/026254131
005 20231031055300.0
010 |a 3-540-13900-1  |b Berlin 
010 |a 0-387-13900-1  |b New York  |b br. 
020 |a US  |b 85122111 
035 |a 027506088  |9 sudoc 
035 |a (OCoLC)490761119 
035 |a ocm11799451 
035 |a ocm12548942 
100 |a 19850313d1984 k y0frey0103 ba 
101 0 |a eng 
102 |a DE 
105 |a y z 100yy 
106 |a r 
200 1 |a Models and sets  |b Texte imprimé  |e proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983  |h Part I  |f ed. by G. H. Müller and M. M. Richter 
210 |a Berlin  |a New York [etc.]  |c Springer-Verlag  |d 1984 
215 |a 1 vol. (VIII-484 p.)  |c fig.  |d 25cm. 
225 0 |a Lecture notes in mathematics  |v 1103 
320 |a Notes bibliogr. 
410 | |0 03292996X  |t Lecture notes in mathematics  |x 0075-8434  |v 1103 
606 |3 PPN027662799  |a Logique mathématique  |3 PPN02886431X  |x Actes de congrès  |2 rameau 
606 |3 PPN027355330  |a Théorie des ensembles  |3 PPN02886431X  |x Actes de congrès  |2 rameau 
606 |3 PPN027237869  |a Théorie des modèles  |3 PPN02886431X  |x Actes de congrès  |2 rameau 
680 |a QA3 
686 |a 03C  |c 1980  |2 msc 
686 |a 03E  |c 1980  |2 msc 
686 |a 03G  |c 1980  |2 msc 
686 |a 03H  |c 1980  |2 msc 
702 1 |3 PPN081844603  |a Müller  |b Gert Heinz  |f 1923-2006  |4 340 
702 1 |3 PPN081785992  |a Richter  |b Michael M.  |f 1938-....  |4 340 
710 1 2 |3 PPN134250354  |a Logic colloquium  |f 1983  |e Aix-la-Chapelle, Allemagne  |4 070 
712 0 2 |3 PPN029945267  |a Association for symbolic logic  |4 340 
801 3 |a FR  |b Abes  |c 20171022  |g AFNOR  |h 027506088 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
915 |5 441092208:639612474  |b 8477 
930 |5 441092208:639612474  |b 441092208  |a LNM/1103  |j u 
979 |a CCFA 
991 |5 441092208:639612474  |a exemplaire créé automatiquement par l'ABES 
997 |a CCFA  |b 8477  |d CMB  |e BAP  |s d  |c LNM/1103 
998 |a 845582