Logic of Arithmetic - Brossura

Felscher, Walter

 
9780367398576: Logic of Arithmetic
Brossura
ISBN 10: 0367398575 ISBN 13: 9780367398576
Casa editrice: Routledge, 2019

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull?autore

Felscher, Walter

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Routledge
Data di pubblicazione
2019
Lingua
Inglese
ISBN 10 
0367398575
ISBN 13 
9780367398576
Rilegatura
Copertina flessibile
Numero edizione
1
Numero di pagine
312
Contatto del produttore
non disponibile
Persona responsabile
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Germania

Altre edizioni note dello stesso titolo

9789056992682: Logic of Arithmetic: 003

Edizione in evidenza

ISBN 10:  9056992686 ISBN 13:  9789056992682
Casa editrice: CRC Press, 2000
Rilegato