10% de desconto

Logic Of Arithmetic

de Walter Felscher
Livro eBook
idioma: inglês
Editor: TAYLOR & FRANCIS LTD, maio de 2000 ‧
168,98€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulae. 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).

Logic Of Arithmetic

de Walter Felscher

Propriedade Descrição
ISBN: 9789056992682
Editor: TAYLOR & FRANCIS LTD
Data de Lançamento: maio de 2000
Idioma: Inglês
Dimensões: 152 x 229 x 25 mm
Encadernação: Capa dura
Páginas: 312
Tipo de produto: Livro
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9789056992682