Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /

Збережено в:
Бібліографічні деталі
Співавтор: Latin-American Symposium on Mathematical Logic State University of Campinas
Інші автори: Arruda, A. I. (Ayda Ignez), Costa, Newton C. A. da, Chuaqui, R.
Формат: Матеріали конференцій Книга
Мова:English
Опубліковано: Amsterdam ; New York : North-Holland Pub. Co. , 1977.
Серія:Studies in logic and the foundations of mathematics ; v. 89
Предмети:
Опис
Фізичний опис:307p.
ISBN:0720407524