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.

Saved in:
Bibliographic Details
Corporate Author: Latin-American Symposium on Mathematical Logic State University of Campinas
Other Authors: Arruda, Ayda I., Costa, Newton C. A. da, Chuaqui, R.
Format: Conference Proceeding Book
Language:English
Published: Amsterdam ; New York : New York : North-Holland Pub. Co. ; distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977.
Series:Studies in logic and the foundations of mathematics ; v. 89.
Subjects:
Nonclassical mathematical logic > Congresses.
Model theory > Congresses.
Computable functions > Congresses.
Login for hold information

Science Library

Holdings details from Science Library
Call Number: QA9.4 .L37 1976
Status: Declared lost

Similar Items