Mendeley出力
＜図書＞
Mathematical logic for computer science
| 責任表示 | Lu Zhongwan |
|---|---|
| データ種別 | 図書 |
| 出版情報 | Singapore ; Teaneck, N.J. : World Scientific , c1989 |
| 本文言語 | 英語 |
| 大きさ | ix, 248 p. ; 23 cm |
| 概要 | Zhongwan (mathematical logic, Academia Sinica, Beijing) presents an overview of both the peculiarities of logical systems and the requirements of computer logic, but does not specifically treat the ap...lication of the former to the latter. Topics include sets, inductive definitions and proofs, propositional and first-order logic, formal and natural deductibility, soundness and completeness, constructive and non-constructive logic, and modal logic. For students and researchers in computer science. Acidic paper. Annotation copyrighted by Book News, Inc., Portland, OR続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図3F 数理独自 | LU,/20/1 | 1989 |
|
068222189003706 |
|
書誌詳細
| 一般注記 | Bibliography: p. 229-230 Includes index |
|---|---|
| 著者標目 | *Lu, Zhongwan |
| 件 名 | LCSH:Electronic data processing -- Mathematics
全ての件名で検索
LCSH:Logic, Symbolic and mathematical |
| 分 類 | LCC:QA76.9.M35 DC20:004/.01/51 |
| 書誌ID | 1001385149 |
| ISBN | 9971502518 |
| NCID | BA07261298 |
| 巻冊次 | ISBN:9971502518 |
| 登録日 | 2009.11.02 |
| 更新日 | 2009.11.02 |