Non-classical logics, model theory, and computability
Subtitle: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
By: edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui.
Contributors: Arruda, Ayda I.; Costa, Newton C. A. da.; Chuaqui, R.
Series: Studies in logic and the foundations of mathematics ;; v. 89
Publisher: North-Holland Pub. Co.; sale distributors for the U.S.A. and Canada, Elsevier/North-Holland
Published: 1977
Place of publication: Amsterdam; New York; New York
Language: eng
Number of pages: 307
Subjects: Nonclassical mathematical logic -- Congresses.; Model theory -- Congresses.; Computable functions -- Congresses.
Notes: Includes bibliographies.
Errata slip inserted.