LC CutterNumber :
.L28,no.
Title :
Methods in mathematical logic
Author Statement :
edited by C.A. Di Prisco
Publication :
Springer-Verlag
Collation :
vii, 407 p.; 25 cm
Series :
Lecture notes in mathematics ; 1130
Notes :
Sponsored by Asociaciعon Venezolana para el Avance de la Ciencia (AsoVAC) ... et al
Subject :
Logic, Symbolic and mathematical- Congresses
ADDED ENTRIES :
Di Prisco, C. A,Asociaciعon Venezolana para el Avance de la Ciencia,Series:Lecture notes in mathematics (Springer-Verlag); 1130
Holding Info. :
0387152369
SubTitle :
: proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
Biblography :
Includes bibliographies
