01298nam0-22003731i-450-99000095465040332120080117103649.00-7204-0752-4000095465FED01000095465(Aleph)000095465FED0100009546520001205d1977----km-y0itay50------baengNon-classical logic, model theory and computabilityproceedings of the third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976edited by A.I. Arruda, N.C.A. da Costa, R. ChuaquiAmsterdam [etc.]North-Holland1977xviii, 307 p.23 cmStudies in logic and the foundations of mathematics89LogicaRicorsività160Arruda,Ayda I.Chuaqui,RolandoCosta,Newton Carneiro Affonso : da<1929- >Symposium on mathematical logic<3. ;1976 ;Campinas, Brazil>426720ITUNINARICAUNIMARCBK9900009546504033217-19710520FI1C-30-(8918992MA1FI1MA1Non-classical logic, model theory and computability357878UNINA