Walter Felscher

partilhar

Em destaque VER +

Logic Of Arithmetic

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).

bibliografia

formato
Livro
eBook

ordenação
Data Edição
Ranking

Lectures On Mathematical Logic, Volume Ii

10%

portes grátis

10% Cartão Leitor Bertrand

91,92€

Poupe 9,19€

Lectures On Mathematical Logic, Volume Ii

de Walter Felscher

TAYLOR & FRANCIS LTD

10%

portes grátis

10% Cartão Leitor Bertrand

91,92€

Poupe 9,19€

Logic Of Arithmetic

de Walter Felscher

TAYLOR & FRANCIS LTD

10%

portes grátis

10% Cartão Leitor Bertrand

168,98€

Poupe 16,90€

Logic Of Arithmetic

de Walter Felscher

TAYLOR & FRANCIS LTD

10%

portes grátis

10% Cartão Leitor Bertrand

168,98€

Poupe 16,90€

Lectures On Mathematical Logic, Volume Ii

de Walter Felscher

TAYLOR & FRANCIS LTD

O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.