Name: Logic of Arithmetic (Lectures on Mathematical Logic) (en Inglés)
SKU: 55635103
Price: 114.69 USD
Availability: InStock
Author: Walter Felscher

Selecciona tu país

América

Europa

Resto del mundo

portada Logic of Arithmetic (Lectures on Mathematical Logic) (en Inglés)

Logic of Arithmetic (Lectures on Mathematical Logic) (en Inglés)

Formato

Libro Físico

Editorial

Crc Press

Autor

Walter Felscher

Idioma

Inglés

Encuadernación

Tapa Blanda

ISBN13

9780367398576

Logic of Arithmetic (Lectures on Mathematical Logic) (en Inglés)

Walter Felscher (Autor) · Crc Press · Tapa Blanda

Libro Nuevo Importado

Envío: 25 a 32 días háb.

$ 208.53$ 114.69

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 114.69

Llega entre el 28 Sep y el 12 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Logic of Arithmetic (Lectures on Mathematical Logic) (en Inglés)"

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.