LEADER 01174nam a22002895i 4500 001 991002209299707536 007 cr nn 008mamaa 008 121227s1985 gw | s |||| 0|eng d 020 $a9783540394143 035 $ab1413830x-39ule_inst 040 $aBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematica$beng 082 04$a511.3$223 084 $aAMS 03-06 245 00$aMethods in mathematical logic$h[e-book] :$bproceedings of the 6th Latin American Symposium on mathematical logic held in Caracas, Venezuela, August 1-6, 1983 /$cedited by Carlos Augusto Prisco 260 $aBerlin :$bSpringer,$c1985 300 $a1 online resource (407 p.) 440 0$aLecture Notes in Mathematics,$x0075-8434 ;$v1130 650 0$aMathematics 650 0$aLogic, Symbolic and mathematical 700 1 $aPrisco, Carlos Augusto 773 0 $aSpringer eBooks 856 40$uhttp://dx.doi.org/10.1007/BFb0075303$zAn electronic book accessible through the World Wide Web 907 $a.b1413830x$b03-03-22$c05-09-13 912 $a991002209299707536 996 $aMethods in mathematical logic$9262613 997 $aUNISALENTO 998 $ale013$b05-09-13$cm$d@ $e-$feng$ggw $h0$i0