10% OFF

Logic Of Arithmetic eBook

by Walter Felscher
language: english
Publisher: CRC PRESS, May of 2000 ‧
90,09€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
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: 9781482283013
Publisher: CRC PRESS
Release Date: May of 2000
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Categories: eBooks in English > Science > Mathematics
EAN: 9781482283013