Methods in mathematical logic :
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.
- Berlin ; New York : Springer-Verlag, c1985.
- vii, 407 p. ; 25 cm.
- Lecture notes in mathematics ; 1130 .
Sponsored by Asociaci�on Venezolana para el Avance de la Ciencia (AsoVAC) ... et al.
Includes bibliographies.
0387152369 (U.S. : pbk.) 3540152369
Logic, Symbolic and mathematical--Congresses.
511.3
Sponsored by Asociaci�on Venezolana para el Avance de la Ciencia (AsoVAC) ... et al.
Includes bibliographies.
0387152369 (U.S. : pbk.) 3540152369
Logic, Symbolic and mathematical--Congresses.
511.3