Non-classical logics, model theory and computability proceedings
Latin-American Symposium on Mathematical Logic (3. 1976 Campinas) Ayda I Arruda; Newton Carneiro Affonso da Costa 1929-
Amsterdam North-Holland 1977
Localização:
IME - Inst. Matemática e Estatística
(QA9.C L357 3. )(Acessar)