00418nam a2200121Ia 4500008004100000082001900041100006200060245004000122260003600162300001500198440005400213700002900267260820b        |||||||| |||| 00| 0 eng d  a511.3bC748.ML  aConference on "Mathematical Logic", Ist., Brazilian, 1977  aMathematical logicb; proceedings /  aNew York:bMarcel Dekker,c1978  axii, 303p.  aLecture notes in Pure and Applied Mathematicsv39  aArrude, Ayda I.eeditor.