10% OFF

Logic Of Arithmetic

by Walter Felscher
Book eBook
language: english
Publisher: TAYLOR & FRANCIS LTD, May of 2000 ‧
168,98€
10% OFF CARD
free shipping
Sell ​​your book
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).

Logic Of Arithmetic

by Walter Felscher

Property Description
ISBN: 9789056992682
Publisher: TAYLOR & FRANCIS LTD
Release Date: May of 2000
Language: English
Dimensions: 152 x 229 x 25 mm
Cover: Hardcover
Pages: 312
Format: Book
Categories: Books in English > Science > Mathematics
EAN: 9789056992682