Normal view
MARC view
Arruda, A. I. (Personal Name)
Machine generated authority record.
Work cat.: (): Latin American Symposium on Mathematical Logic (3rd : 1976 Campinas, Brazil) 136663, Non-classical logics, model theory and computability :, c1977
