株式会社極東書店トップ ＞ 商品一覧 ＞ Logic of Arithmetic.
商品詳細
Logic of Arithmetic.
・ISBN 978-90-5699-268-2 hard GB£ 145.99
￥46,249.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
電子版あり 大学・学術機関向け電子ブック（eBook）ISBN 978-0-429-08027-2
| 著者・編者 | Felscher, Walter, |
|---|---|
| 出版社 | (Taylor & Francis Ltd, UK) |
| 出版年月 | 2000 |
| ページ数 | 312 pp. |
| 言語 | ENG |
| ニュース番号 | ＜M25-9543＞ |
解説
For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-addition (Pressburger arithmetic). It makes use of an algorithm eliminating quantifiers which, in turn, is also applied to obtain consistency proofs for these fragments.