Logic of Arithmetic

Editora:

Taylor & Francis Ltd

Código:

491_9789056992682

Vendido e entregue por Um Livro

De: R$ 0,00Por: R$ 1.115,46ou 3X de R$ 371,82

Comprar

Sinopse
Características

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.

Veja mais

Calcule o valor do frete e prazo de entrega para a sua região