ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974
Enregistré dans:
Auteur principal : | |
---|---|
Collectivités auteurs : | , |
Autres auteurs : | , , |
Format : | Livre |
Langue : | anglais français |
Titre complet : | ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974 / edited by G. H. Müller, A. Oberschelp and K. Potthoff |
Publié : |
Berlin, Heidelberg, New York (N. Y.) :
Springer
, cop. 1975 |
Description matérielle : | 1 vol. (IV-651 p.) |
Collection : | Lecture notes in mathematics ; 499 |
Sujets : |
LEADER | 02265cam a2200577 4500 | ||
---|---|---|---|
001 | PPN017070813 | ||
003 | http://www.sudoc.fr/017070813 | ||
005 | 20240314170600.0 | ||
010 | |a 0-387-07534-8 |b New York |b br. | ||
010 | |a 3-540-07534-8 |b Berlin |b br. | ||
020 | |a US |b 7540481 //r852 | ||
035 | |a (OCoLC)423248275 | ||
035 | |a ocm01959563 | ||
100 | |a 19751126h19751975k y0frey0103 ba | ||
101 | 0 | |a eng |a fre | |
102 | |a DE |a US | ||
105 | |a y a 100yy | ||
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 ISILC logic conference |e proceedings of the International summer institute and logic colloquium, Kiel, 1974 |f edited by G. H. Müller, A. Oberschelp and K. Potthoff | |
210 | |a Berlin |a Heidelberg |a New York (N. Y.) |c Springer |d cop. 1975 | ||
215 | |a 1 vol. (IV-651 p.) |c tabl. |d 25 cm | ||
225 | 2 | |a Lecture notes in mathematics |v 499 | |
300 | |a Textes en anglais ou en français | ||
320 | |a Notes bibliogr. en fin de contributions | ||
410 | | | |0 03292996X |t Lecture notes in mathematics |x 0075-8434 |v 499 | |
517 | | | |a Logic Conference, Kiel 1974 | |
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 | ||
676 | |a 510/.8 s | ||
680 | |a QA3 |b .L28 no. 499 | ||
686 | |a 68-XX |2 msc | ||
686 | |a 04-XX |2 msc | ||
702 | 1 | |3 PPN081844603 |a Müller |b Gert Heinz |f 1923-2006 |4 340 | |
702 | 1 | |3 PPN033524157 |a Oberschelp |b Arnold |4 340 | |
702 | 1 | |3 PPN123960355 |a Potthoff |b Karl |4 340 | |
710 | 1 | 2 | |3 PPN125278519 |a International Summer Institute and Logic Colloquium |f 1974 |e Kiel |4 070 |
712 | 0 | 2 | |3 PPN125391137 |a Institut für Mathematische Logik und Grundlagenforschung |c Münster, Allemagne |4 557 |
801 | 1 | |a US |b OCLC |g AACR2 | |
801 | 2 | |a FR |b AUROC |g AFNOR | |
801 | 3 | |a FR |b Abes |c 20181220 |g AFNOR | |
915 | |5 441092208:639653340 |b CRDM7137 | ||
930 | |5 441092208:639653340 |b 441092208 |a LNM/499 |j u | ||
979 | |a CCFA | ||
991 | |5 441092208:639653340 |a exemplaire créé automatiquement par l'ABES | ||
997 | 1 | 0 | |a CCFA |b CRDM7137 |d CMB |e BAP |s d |c LNM/499 |
998 | |a 843022 |