株式会社極東書店トップ ＞ 商品一覧 ＞ Deduction: Introductory Symbolic Logic. 2nd ed.
商品詳細
Deduction: Introductory Symbolic Logic. 2nd ed.
・ISBN 978-0-631-22710-6 hard US$ 172.50
￥40,416.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
・ISBN 978-0-631-22713-7 paper US$ 50.00
￥11,715.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Bonevac, Daniel, |
|---|---|
| 出版社 | (Blackwell, UK) |
| 出版年月 | 2002 |
| ページ数 | 464 pp. |
| 言語 | ENG |
| ニュース番号 | ＜260-10902＞ |
解説
Deduction is an efficient and elegant presentation of classical first-order logic. It presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague.
- Efficient and elegant presentation of classical first-order logic.
- Presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague.
- Contains detailed, yet accessible chapters on extensions and revisions of classical logic: modal logic, many-valued logic, fuzzy logic, intuitionistic logic, counterfactuals, deontic logic, common sense reasoning, and quantified modal logic.
- Includes problem sets, designed to lead students gradually from easier to more difficult problems.
Further information and select answers to problems available here: bonevac.info/deduction/About_the_Book.html