---

＜図書＞
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)

出版者	Amsterdam : North-Holland
出版者	New York : sale distributors for the U.S.A. and Canada, Elsevier/North-Holland
出版年	1977
出版年	1977
大きさ	xviii, 307 p. : ill. ; 23 cm.
著者標目	Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas) Arruda, Ayda I. Costa, Newton C. A. da Chuaqui, R.
件　名	Nonclassical mathematical logic -- Congresses  全ての件名で検索 Model theory -- Congresses  全ての件名で検索 Computable functions -- Congresses  全ての件名で検索
一般注記	Errata slip inserted. ＼ Includes bibliographies.

 類似資料