<図書>
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. |
目次/あらすじ
所蔵情報を非表示
配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|
数学図書室(図書) | 図書 |
|
410.8//St9//VX3-89 |
|
|
0720407524 |
|
|
|
2013085728 |
類似資料
この資料の利用統計
このページへのアクセス回数:1回
※2017年9月4日以降
全貸出数:0回
(3か月以内の貸出:0回)