Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain, July 20-25, 1987

Enregistré dans:
Détails bibliographiques
Collectivité auteur : Logic colloquium (Artiste)
Format : Livre
Langue : anglais
Titre complet : Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain, July 20-25, 1987 / [European Summer Meeting of the Association for Symbolic Logic]; edited by H.-D. Ebbinghaus,... J. Fernandez-Prida,... M. Garrido,... D. Lascar,... [et al.]
Publié : Amsterdam, New-York, Oxford, Tokyo : North-Holland , 1989
Description matérielle : 1 vol. (X-375 p.)
Collection : Studies in logic and the foundations of mathematics ; 129
Titre de l'ensemble : Studies in logic and the foundations of mathematics vol. 129
Sujets :
LEADER 01661cam a2200457 4500
001 PPN006982905
003 http://www.sudoc.fr/006982905
005 20240531154900.0
010 |a 0-444-88022-4 
035 |a (OCoLC)489667912 
035 |a ocm20321658 
035 |a sib0190521 
100 |a 19900201d1989 k y0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a NL 
105 |a ||||a 10|yy 
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 |6 z01  |a nga  |2 RDAfrCarrier 
200 1 |a Logic Colloquium '87  |e proceedings of the Colloquium held in Granada, Spain, July 20-25, 1987  |f [European Summer Meeting of the Association for Symbolic Logic]  |g edited by H.-D. Ebbinghaus,... J. Fernandez-Prida,... M. Garrido,... D. Lascar,... [et al.] 
210 |a Amsterdam  |a New-York  |a Oxford  |a Tokyo  |c North-Holland  |d 1989 
215 |a 1 vol. (X-375 p.)  |c portrait  |d 23 cm 
225 1 |a Studies in logic and the foundations of mathematics  |v 129 
320 |a Notes bibliogr. 
410 | |0 013286838  |t Studies in logic and the foundations of mathematics  |x 0049-237X  |v 129 
606 |3 PPN027662799  |a Logique mathématique  |2 rameau 
608 |3 PPN02886431X  |a Actes de congrès  |2 rameau 
676 |a 511.3 
680 |a QA9.A1 
712 1 2 |3 PPN081809794  |a Logic colloquium  |4 040 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b SF  |g AFNOR 
801 3 |a FR  |b Abes  |c 20200319  |g AFNOR 
979 |a PHILO 
930 |5 441092107:252925939  |b 441092107  |a L 14256  |j s 
991 |5 441092107:252925939  |a Rétroconversion Philosophie 
998 |a 445319