Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /

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 : North-Holland Pub. Co. ; 1977.
Series:	Studies in logic and the foundations of mathematics ; v. 89.
Subjects:	Nonclassical mathematical logic > Congresses. Model theory > Congresses. Computable functions > Congresses.

Remote Storage