TY  - GEN
AU  - Di Prisco, C. A
ED  - Asociacion Venezolana para el Avance de la Ciencia
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 (New York : pbk.)
U1  - 510 s511.3 
PY  - 1985///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Logic, Symbolic and mathematical
KW  - Congresses
N1  - Sponsored by Asociacion Venezolana para el Avance de la Ciencia (AsoVAC) ... et al; Cuprinde bibliografie pe capitole
ER  -