Non-classical logics,model theory,and computability : proceedings - Arruda A I ed.; Latin American Symposium on Mathematical Logic( 3rd : 1976 : Campinas,Brazil ); Latin American Symposium on Mathematical Logic 3rd Campinas, Brazil (Amsterdam North-Holland, 1977)
Keywords: Mathematical logic; Model theory