Latin-American Symposium on Mathematical Logic Caracas, Venezuela, SpringerLink (Online service), Asociación Venezolana para el Avance de la Ciencia, & Di Prisco, C. A. (1985). Methods in mathematical logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983. Springer-Verlag.
Chicago Style (17th ed.) CitationLatin-American Symposium on Mathematical Logic Caracas, Venezuela, SpringerLink (Online service), Asociación Venezolana para el Avance de la Ciencia, and C. A. Di Prisco. Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic Held in Caracas, Venezuela, August 1-6, 1983. Berlin ; New York: Springer-Verlag, 1985.
MLA (9th ed.) CitationLatin-American Symposium on Mathematical Logic Caracas, Venezuela, et al. Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic Held in Caracas, Venezuela, August 1-6, 1983. Springer-Verlag, 1985.