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
シリーズ	Studies in logic and the foundations of mathematics ; v. 89
データ種別	図書
出版情報	Amsterdam ; New York : North-Holland Pub. Co. New York : sale distributors for the U.S.A. and Canada, Elsevier/North-Holland , 1977
本文言語	英語
大きさ	xviii, 307 p. : ill. ; 23 cm

一般注記	Errata slip inserted Includes bibliographies
著者標目	*Latin-American Symposium on Mathematical Logic ( 3rd : 1976 : Campinas, Brazil) Arruda, Ayda I. Costa, Newton C. A. da Chuaqui, R.
件　名	LCSH:Nonclassical mathematical logic -- Congresses 全ての件名で検索 LCSH:Model theory -- Congresses 全ての件名で検索 LCSH:Computable functions -- Congresses 全ての件名で検索
分　類	LCC:QA9.4 DC:511/.8
書誌ID	1000033471
ISBN	0720407524
NCID	BA12529662
巻冊次	ISBN:0720407524
登録日	2009.09.10
更新日	2009.09.17