Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /

Provability, Computability and Reflection.

Bibliographic Details

Corporate Authors:	Latin-American Symposium on Mathematical Logic Santiago de Chile, ScienceDirect (Online service)
Other Authors:	Arruda, A. I. (Ayda Ignez), Chuaqui, R., Costa, Newton C. A. da
Format:	Conference Proceeding eBook
Language:	English
Language Notes:	English.
Published:	Amsterdam ; New York : New York : North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.
Series:	Studies in logic and the foundations of mathematics ; v. 99.
Subjects:	Logic, Symbolic and mathematical > Congresses. Logique symbolique et mathématique > Congrès. MATHEMATICS > Infinity. MATHEMATICS > Logic. Logic, Symbolic and mathematical Electronic books. proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Online Access:	Connect to the full text of this electronic book