Methods in mathematical logic : proceedings of the 6th Latin American symposium on mathematical logic held in Caracas, Venezuela, August 1-6, 1983

Methods in mathematical logic : proceedings of the 6th Latin American symposium on mathematical logic held in Caracas, Venezuela, August 1-6, 1983

Saved in:
Bibliographic Details
Main Author : Latin-American symposium on mathematical logic
Corporate Author : Latin-American symposium on mathematical logic 06 1983 Caracas, Venezuela (Auteur)
Other Authors : Di Prisco Carlos Augusto (Éditeur scientifique)
Format : Book
Language : anglais
Title statement : Methods in mathematical logic : proceedings of the 6th Latin American symposium on mathematical logic held in Caracas, Venezuela, August 1-6, 1983 / edited by C.A. Di Prisco
Published : Berlin, Heidelberg, New York [etc.] : Springer-Verlag , cop. 1985
Physical Description : 1 vol. (VII-407 p.)
Series : Lecture notes in mathematics ; 1130
Subjects :
Logique mathématique > Actes de congrès
LEADER 01877cam a2200505 4500
001 PPN027015831
003 http://www.sudoc.fr/027015831
005 20190717095200.0
010 |a 0-387-15236-9  |b New York 
010 |a 3-540-15236-9  |b Berlin 
020 |a US  |b 8514779 
035 |a (OCoLC)12313345 
035 |a ocm12313345 
035 |z ocm12190536 
100 |a 19850626h19851985k y0frey0103 ba 
101 0 |a eng 
102 |a DE  |a US 
105 |a a 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 Methods in mathematical logic  |e proceedings of the 6th Latin American symposium on mathematical logic held in Caracas, Venezuela, August 1-6, 1983  |f edited by C.A. Di Prisco 
210 |a Berlin  |a Heidelberg  |a New York [etc.]  |c Springer-Verlag  |d cop. 1985 
215 |a 1 vol. (VII-407 p.)  |c ill.  |d 25 cm 
225 2 |a Lecture notes in mathematics  |v 1130 
320 |a Bibliogr. en fin de contributions 
410 | |0 03292996X  |t Lecture notes in mathematics  |x 0075-8434  |v 1130 
606 |3 PPN027662799  |a Logique mathématique  |3 PPN02886431X  |x Actes de congrès  |2 rameau 
676 |a 510 s  |v 19 
680 |a QA3  |b .L28 no. 1130 
686 |a 03-06  |c 2010  |2 msc 
702 1 |3 PPN090964608  |a Di Prisco  |b Carlos Augusto  |f 19..-....  |4 340 
710 1 2 |3 PPN134259629  |a Latin-American symposium on mathematical logic  |d 06  |f 1983  |e Caracas, Venezuela  |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 20190430  |g AFNOR 
915 |5 441092208:639603580  |b CRDM5095 
930 |5 441092208:639603580  |b 441092208  |a LNM/1130  |j u 
979 |a CCFA 
991 |5 441092208:639603580  |a exemplaire créé automatiquement par l'ABES 
997 1 0 |a CCFA  |b CRDM5095  |d CMB  |e BAP  |s d  |c LNM/1130 
998 |a 845656