Latin-American Symposium on Mathematical Logic Caracas, Venezuela, Asociacion 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 / edited by C.A. Di Prisco: Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983. Springer-Verlag. https://doi.org/10.1007/BFb0075303
Chicago Style (17th ed.) CitationLatin-American Symposium on Mathematical Logic Caracas, Venezuela, Asociacion 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 / Edited by C.A. Di Prisco: Proceedings of the 6th Latin American Symposium on Mathematical Logic Held in Caracas, Venezuela, August 1-6, 1983. Berlin ; New York: Springer-Verlag, 1985. https://doi.org/10.1007/BFb0075303.
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 / Edited by C.A. Di Prisco: Proceedings of the 6th Latin American Symposium on Mathematical Logic Held in Caracas, Venezuela, August 1-6, 1983. Springer-Verlag, 1985. https://doi.org/10.1007/BFb0075303.