Logic of Arithmetic - Walter Felscher - 書籍 - Taylor & Francis Ltd - 9780367398576 - 2019年9月5日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Walter Felscher
Logic of Arithmetic 第1 版

価格
¥ 16.812
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月9日 - 年10月27日
Walter Felscher の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

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.

312 pages

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2019年9月5日
ISBN13 9780367398576
出版社 Taylor & Francis Ltd
ページ数 312
寸法 150 × 220 × 10 mm   ·   453 g
言語 英語  

Walter Felscherの他の作品を見る

すべて表示

同じ出版社からのその他の記事

Walter Felscherのすべてを見る