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.
(Studies in logic and the foundations of mathematics ; v. 89)
国立国会図書館請求記号
MA41-116
国立国会図書館書誌ID
000006252001
資料種別
図書
著者
Latin-American Symposium on Mathematical Logic, 3d, State University of Campinas, 1976.ほか