LEADER 01298nam0-22003731i-450- 001 990000954650403321 005 20080117103649.0 010 $a0-7204-0752-4 035 $a000095465 035 $aFED01000095465 035 $a(Aleph)000095465FED01 035 $a000095465 100 $a20001205d1977----km-y0itay50------ba 101 0 $aeng 200 1 $aNon-classical logic, model theory and computability$eproceedings of the third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976$fedited by A.I. Arruda, N.C.A. da Costa, R. Chuaqui 210 $aAmsterdam [etc.]$cNorth-Holland$d1977 215 $axviii, 307 p.$d23 cm 225 1 $aStudies in logic and the foundations of mathematics$v89 610 0 $aLogica 610 0 $aRicorsività 676 $a160 702 1$aArruda,$bAyda I. 702 1$aChuaqui,$bRolando 702 1$aCosta,$bNewton Carneiro Affonso : da$f<1929- > 710 12$aSymposium on mathematical logic$d<3. ;$f1976 ;$eCampinas, Brazil>$0426720 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000954650403321 952 $a7-197$b10520$fFI1 952 $aC-30-(89$b18992$fMA1 959 $aFI1 959 $aMA1 996 $aNon-classical logic, model theory and computability$9357878 997 $aUNINA