Non-classical logics, model theory, and computability. Proceedings of the 3rd Latin-American symposium on mathematical logic, Campinas, Brazil, July 11--17, 1976
From MaRDI portal
Publication:1234274
zbMath0348.00003MaRDI QIDQ1234274
No author found.
Publication date: 1977
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (1)
This page was built for publication: Non-classical logics, model theory, and computability. Proceedings of the 3rd Latin-American symposium on mathematical logic, Campinas, Brazil, July 11--17, 1976