01256nam a2200301 i 450099100126339970753620020507190231.0931006s1980 bl ||| | eng b10823244-39ule_instLE01309544ExLDip.to Matematicaeng511.3AMS 03-06AMS 03-XXArruda, Ayda I.44432Proceedings of the third brazilian conference on mathematical logic :(UPF - Recife, December 17-22, 1979 /eds. A. I. Arruda, Newton C. A. Da Costa, A. M. SetteSao Paulo :Soc. Brasileira de Logica,1980vi, 336 p. ;24 cm.Conference/Meeting UPF Recife, Brazil 1979Mathematical logicCosta, Newton C. A. :daauthorhttp://id.loc.gov/vocabulary/relators/aut614754Sette, Antonio Mario.b1082324421-09-0628-06-02991001263399707536LE013 03-XX ARR12 (1980)12013000074979le013-E0.00-l- 00000.i1093071128-06-02Proceedings of the third brazilian conference on mathematical logic1455918UNISALENTOle01301-01-93ma -engbl 01