Normal view
MARC view
Logic, symbolic and mathematical Addresses, essays, lectures (Topical Term)
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
