Methods in mathematical logic
Subtitle: proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
By: edited by C.A. Di Prisco.
Contributors: Di Prisco, C. A.; Asociación Venezolana para el Avance de la Ciencia.
Series: Lecture notes in mathematics ;; 1130; Lecture notes in mathematics (Springer-Verlag);; 1130.
Publisher: Springer-Verlag
Published: 1985
Place of publication: Berlin; New York
Language: eng
Number of pages: 407
Subjects: Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographies.
Sponsored by Asociación Venezolana para el Avance de la Ciencia (AsoVAC) ... et al.