Logic of Arithmetic - Walter Felscher - Libros - Taylor & Francis Ltd - 9780367398576 - 5 de septiembre de 2019
En caso de que portada y título no coincidan, el título será el correcto

Walter Felscher
Logic of Arithmetic 1.º edición

Precio
$ 101,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 18 de jun. - 7 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

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.

312 pages

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 5 de septiembre de 2019
ISBN13 9780367398576
Editores Taylor & Francis Ltd
Páginas 312
Dimensiones 150 × 220 × 10 mm   ·   453 g
Lengua Inglés  

Mas por Walter Felscher

Mostrar todo

Mere med samme udgiver

Ver todo de Walter Felscher ( Ej. Paperback Book y Hardcover Book )