E-bok, Engelska, 2000
Logic of Arithmetic
1230 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
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 alg
Produktinformation
- Utgivningsdatum: 2000-05-30
- Språk: Engelska
- Filformat: PDF
- Kopieringsskydd: LCP
- ISBN: 9781482283013
- Förlag: CRC Press
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.