Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976/
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
Errata slip inserted.
Includes bibliographies.
0720407524
77007366
Nonclassical mathematical logic---Congresses.
Model theory---Congresses.
Computable functions---Congresses.
511.8 / N812