10% de desconto

Logic Of Arithmetic eBook

de Walter Felscher
Livro eBook
idioma: inglês
Editor: CRC PRESS, maio de 2000 ‧
90,09€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
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: 9781040190951
Editor: CRC PRESS
Data de Lançamento: maio de 2000
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade:
Classificação Temática: eBooks em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9781040190951
Acessibilidade: Ver características de acessibilidade indicadas pelo editor