この商品を友人に教える:
Logic of Arithmetic Walter Felscher 第1 版
価格
¥ 31.476
税抜
遠隔倉庫からの取り寄せ
発送予定日 年9月29日 - 年10月15日
Walter Felscher の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
他の形態でも入手可能：
Logic of Arithmetic
Walter Felscher
For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulae. 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).
312 pages, 200 line illustrations, indices
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 2000年5月30日 |
| ISBN13 | 9789056992682 |
| 出版社 | Taylor & Francis Ltd |
| ページ数 | 312 |
| 寸法 | 152 × 229 × 25 mm · 740 g |
| 言語 | 英語 |
