Mendeley出力
＜図書＞
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil
| 責任表示 | Walter A. Carnielli, Itala M.L. D'Ottaviano, editors |
|---|---|
| シリーズ | Contemporary mathematics ; v. 235 |
| データ種別 | 図書 |
| 出版情報 | Providence, R.I. : American Mathematical Society , c1999 |
| 本文言語 | 英語 |
| 大きさ | xi, 326 p. ; 26 cm |
| 概要 | The 16 selected papers have been revised and updated for publication. They report recent research and findings in logic, philosophical logic, and connections between logic and computer science, with a...heavy emphasis on work in Brazil and elsewhere in Latin America. The topics include the mathematical structure of logical syntax, a tableau calculus for Dummett predicate logic, and a modal framework for consequential implications and the factor law. The volume is not indexed. Annotation copyrighted by Book News, Inc., Portland, OR続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/6834404 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図3F 数理独自 | SER/CM/235 | c1999 |
|
023211999006962 |
|
|||
|
|
|
芸工図 2F 書架 | 410.8/C86/235 | 1999 |
|
072032199002037 |
|
書誌詳細
| 一般注記 | Includes bibliographical references |
|---|---|
| 著者標目 | Brazilian Conference on Mathematical Logic (11th : 1996 : Salvador, Brazil) Carnielli, Walter A. (Walter Alexandre) D'Ottaviano, Itala M. L., 1944- |
| 件 名 | LCSH:Computer logic -- Congresses
全ての件名で検索
LCSH:Logic, Symbolic and mathematical -- Congresses 全ての件名で検索 |
| 分 類 | LCC:QA76.9.L36 DC21:005.1/01/5113 |
| 書誌ID | 1000923946 |
| ISBN | 0821813641 |
| NCID | BA42423139 |
| 巻冊次 | ISBN:0821813641 |
| 登録日 | 2009.09.16 |
| 更新日 | 2017.02.18 |