TY  - BOOK
AU  - Di Prisco,C.A.
TI  - Methods in mathematical logic: proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 
T2  - Lecture notes in mathematics
SN  - 0387152369 (U.S. : pbk.)
U1  - 511.3 22
PY  - 1985///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Logic, Symbolic and mathematical
KW  - Congresses
N1  - Sponsored by Asociaci�on Venezolana para el Avance de la Ciencia (AsoVAC) ... et al; Includes bibliographies
ER  -