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