LEADER 01630nam a2200361 i 4500
001 991001169219707536
005 20020507184521.0
008 970630s1977    |||           ||| |  eng 
020   $a0720407524
035   $ab10810353-39ule_inst
035   $aLE01308129$9ExL
040   $aDip.to Matematica$beng
082 0 $a511.3
084   $aAMS 03-06
111 2 $aLatin-American symposium on mathematical logic$d<1976 ;$cCampinas>$0536214
245 10$aNon-classical logics, model theory, and computability :$bproceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /$cedited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
260   $aAmsterdam :$bNorth-Holland ; New York : sole distributors for the U.S.A. and Canada, Elsevier North Holland,$c1977
300   $axviii, 307 p. :$bill. ;$c23 cm.
490 0 $aStudies in logic and the foundations of mathematics, ISSN 0049237X ;$v89
500   $aErrata slip inserted.
500   $aIncludes bibliographies
650  4$aComputable functions$xCongresses
650  4$aModel theory$xCongresses
650  4$aNonclassical mathematical logic$xCongresses
700 1 $aArruda, Ayda I.
700 1 $aCosta, Newton C. A. :$cda
700 1 $aChuaqui, Rolando Basim
907   $a.b10810353$b23-02-17$c28-06-02
912   $a991001169219707536
945   $aLE013 03-XX ARR11 (1977)$g1$i2013000086996$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10915655$z28-06-02
996   $aNon-classical logics, model theory, and computability$9924956
997   $aUNISALENTO
998   $ale013$b01-01-97$cm$da  $e-$feng$gxx $h0$i1