Mendeley出力
＜図書＞
Predicate logic : introduction to logic
| 責任表示 | Howard Pospesel |
|---|---|
| データ種別 | 図書 |
| 出版者 | Englewood Cliffs, N.J. : Prentice-Hall |
| 出版年 | c1976 |
| 本文言語 | 英語 |
| 大きさ | xiii, 205 p. : ill. ; 23 cm |
| 概要 | This clearly written book makes logic interesting and easier to learn without sacrificing content or rigor. It covers symbolization, proofs, counterexamples, and truth trees. These topics are presen...ed in graded steps, beginning with the symbolization of categorical propositions and concluding with the properties of relations. Logic is applied to materials with which readers will be familiar; both examples and exercises are drawn from newspapers, television, and other popular sources. For individuals intrigued by the formal study of logic. 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
中央図 2A | 116.1/P 91/1 | 1976 |
|
058211981456043 |
|
書誌詳細
| 一般注記 | Includes bibliographical references and index |
|---|---|
| 著者標目 | *Pospesel, Howard, 1937- |
| 件 名 | LCSH:Predicate (Logic) LCSH:Proposition (Logic) LCSH:Logic, Symbolic and mathematical -- Problems, exercises, etc 全ての件名で検索 |
| 分 類 | LCC:BC181 DC:511/.3 |
| 書誌ID | 1000589866 |
| ISBN | 0134862252 |
| NCID | BA13335005 |
| 巻冊次 | ISBN:0134862252 |
| 登録日 | 2009.09.14 |
| 更新日 | 2009.09.14 |