関西学院大学図書館

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. -- North-Holland Pub. Co.. -- (Studies in logic and the foundations of mathematics ; v. 89). <BY00178027>
このページのURL:

所蔵一覧 1件~1件(全1件)

No. 巻号 配架場所 請求記号 資料ID 状態 返却予定日 予約
0001 上ケ原B1図書 164:67 0094370269 0件
No. 0001
巻号
配架場所 上ケ原B1図書
請求記号 164:67
資料ID 0094370269
状態
返却予定日
予約 0件

書誌詳細

標題および責任表示 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
出版事項 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
シリーズ名等 Studies in logic and the foundations of mathematics <BY02000172> v. 89//a
巻号情報
ISBN 0720407524
注記 Errata slip inserted
注記 Includes bibliographies
NCID BA12529662
本文言語 英語
著者標目 *Latin-American Symposium on Mathematical Logic <AU00268229> ( 3rd : 1976 : Campinas, Brazil)
著者標目 Arruda, Ayda I. <AU00057301>
著者標目 Costa, Newton C. A. da <AU00032880>
著者標目 Chuaqui, R. <AU00032882>
分類標目 LCC:QA9.4
分類標目 DC:511/.8
件名標目等 Nonclassical mathematical logic -- Congresses
件名標目等 Model theory -- Congresses
件名標目等 Computable functions -- Congresses