Mendeley出力
＜図書＞
Mathematical logic for computer science
| 責任表示 | M. Ben-Ari |
|---|---|
| シリーズ | Prentice-Hall International series in computer science |
| データ種別 | 図書 |
| 出版情報 | New York : Prentice Hall , 1993 |
| 本文言語 | 英語 |
| 大きさ | xi, 305 p. : ill. ; 24 cm |
| 概要 | A textbook for undergraduate students of computer science, explaining mathematical logic as it is used in computer science, rather than, like most texts and courses, as it relates to higher mathematic.... Assumes a year or two of basic computer science, but no mathematics beyond set theory, which is outlined in an appendix. Annotation copyright by Book News, Inc., Portland, OR続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図1F 開架 | 410.96/B 35 | 1993 |
|
068252192010940 |
|
書誌詳細
| 一般注記 | Includes bibliographical references (p. 274-277) and index |
|---|---|
| 著者標目 | *Ben-Ari, M., 1948- |
| 件 名 | LCSH:Logic, Symbolic and mathematical |
| 分 類 | LCC:QA9 DC20:511.3 |
| 書誌ID | 1001029478 |
| ISBN | 013564139X |
| NCID | BA19429021 |
| 巻冊次 | : pbk ; ISBN:013564139X ; PRICE:$40.00 |
| 登録日 | 2009.09.17 |
| 更新日 | 2009.09.17 |