000 00748 a2200205 4500
020 _a3540152369
035 _a
084 _203-06
090 _c6912
_d6912
245 0 0 _aMethods in mathematical logic
_bproceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
_cedited by C.A. Di Prisco. --
260 0 _aBerlin
_bSpringer-Verlag
_cc1985
300 _avii, 407 p
_c24 cm. --
490 1 0 _aLecture notes in mathematics
_v1130
500 _aCuprinde bibliografie pe capitole
650 0 _aLogic, Symbolic and mathematical
_xCongresses
650 0 _aModel theory
_xCongresses
700 1 0 _aDi Prisco, C. A
830 0 _aLecture notes in mathematics (Springer-Verlag)
942 _aIMAR
_cCART
999 _c6773
_d6773