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, c1985
- vii, 407 p.
- Lecture notes in mathematics 1130 .
- Lecture notes in mathematics (Springer-Verlag); 1130. .
Sponsored by Asociación Venezolana para el Avance de la Ciencia (AsoVAC) ... et al.
Includes bibliographies.
0387152369
Logic, Symbolic and mathematical
51 / LNM
Sponsored by Asociación Venezolana para el Avance de la Ciencia (AsoVAC) ... et al.
Includes bibliographies.
0387152369
Logic, Symbolic and mathematical
51 / LNM