Logic of Arithmetic - Walter Felscher - Livros - Taylor & Francis Ltd - 9780367398576 - 5 de setembro de 2019
Caso a capa e o título não sejam correspondentes, considere o título como correto

Walter Felscher
Logic of Arithmetic 1º edição

Preço
R$ 573,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 25 de set - 7 de out
Receba avisos sobre novos lançamentos de Walter Felscher

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Também disponível 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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 5 de setembro de 2019
ISBN13 9780367398576
Editoras Taylor & Francis Ltd
Páginas 312
Dimensões 150 × 220 × 10 mm   ·   453 g
Idioma Inglês  

Mais por Walter Felscher

Mostrar tudo

Mais da mesma editora

Ver tudo de Walter Felscher