01276nam a2200313 i 450099100113831970753620020507183946.0940416s1985 ||| ||| | eng 3540152369b10806167-39ule_instLE01307654ExLDip.to Matematicaeng511.3AMS 03-06AMS 03-XXDi Prisco, Carlos Augusto536087Methods in mathematical logic :proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 /ed. C. A. Di PriscoBerlin ; New York :Springer-Verlag,1985vii, 407 p. ;25 cm.Lecture notes in mathematics,0075-8434 ;1130Includes bibliographies.Spons. by Asociaciòn Venezolana para el Avance de la Ciencia (AsoVAC) ... et al.Symbolic logicCongresses.b1080616723-02-1728-06-02991001138319707536LE013 03-XX DIP11 (1985)12013000114972le013-E0.00-l- 00000.i1091080328-06-02Methods in mathematical logic925834UNISALENTOle01301-01-94ma -engxx 01