Non-classical logics, model theory, and computability : proceedings / of the 3rd Latin-American symposium on mathematical logic, Campinas, Brazil, July 11-17, 1976, [sponsored by the State university of Campinas, the Association for symbolic logic, and the Division of logic, methodology and philosophy of science of the International union of history and philosophy of science] , edited by AI Arruda, NCA da Costa, R Chuaqui,
a pour titre
Non-classical logics, model theory, and computability : proceedings / of the 3rd Latin-American symposium on mathematical logic, Campinas, Brazil, July 11-17, 1976, [sponsored by the State university of Campinas, the Association for symbolic logic, and the Division of logic, methodology and philosophy of science of the International union of history and philosophy of science] , edited by AI Arruda, NCA da Costa, R Chuaqui,
a pour date de début
1977
a pour organisme d'édition
North-Holland