Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976/ edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. - Amsterdam; New York; New York: North-Holland; North-Holland/Elsevier, 1977. - xviii, 307 p.: ill.; 23 cm. - Studies in logic and the foundations of mathematics; v. 89. .

Errata slip inserted.

Includes bibliographies.

0720407524

77007366


Nonclassical mathematical logic---Congresses.
Model theory---Congresses.
Computable functions---Congresses.

511.8 / N812