Logic of Arithmetic: 03 (Lectures on Mathematical Logic) - Tapa blanda

Felscher, Walter

 
9780367398576: Logic of Arithmetic: 03 (Lectures on Mathematical Logic)
Tapa blanda
ISBN 10: 0367398575 ISBN 13: 9780367398576
Editorial: Routledge, 2019

Sinopsis

For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulaas. 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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

Felscher, Walter

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Routledge
Año de publicación
2019
Idioma
Inglés
ISBN 10 
0367398575
ISBN 13 
9780367398576
Encuadernación
Tapa blanda
Número de edición
1
Número de páginas
312
Contacto del fabricante
no disponible
Persona responsable
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Alemania

Otras ediciones populares con el mismo título

9789056992682: Logic of Arithmetic: 003 (Lectures on Mathematical Logic)

Edición Destacada

ISBN 10:  9056992686 ISBN 13:  9789056992682
Editorial: CRC Press, 2000
Tapa dura