01174nam a22002895i 4500991002209299707536cr nn 008mamaa121227s1985 gw | s |||| 0|eng d9783540394143b1413830x-39ule_instBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematicaeng511.323AMS 03-06Methods in mathematical logic[e-book] :proceedings of the 6th Latin American Symposium on mathematical logic held in Caracas, Venezuela, August 1-6, 1983 /edited by Carlos Augusto PriscoBerlin :Springer,19851 online resource (407 p.)Lecture Notes in Mathematics,0075-8434 ;1130MathematicsLogic, Symbolic and mathematicalPrisco, Carlos AugustoSpringer eBookshttp://dx.doi.org/10.1007/BFb0075303An electronic book accessible through the World Wide Web.b1413830x03-03-2205-09-13991002209299707536Methods in mathematical logic262613UNISALENTOle01305-09-13m@ -enggw 00