Natural Deduction, Hybrid Systems And Modal Logics

de Andrzej Indrzejczak 

Bertrand.pt - Natural Deduction, Hybrid Systems And Modal Logics
idioma: Inglês
Editor: SPRINGER
Edição: junho de 2010
Portes
Grátis
10%
204,81€
Poupe 20,48€ (10%) Cartão Leitor Bertrand

The assumed reader should have some ba- ground in logic (an elementary course covering classical propositional and ?rst-order logic with basics of set theory is enough) but not necessarily in modal logic.

Da mesma coleção

Algebraic Probabilistic Consistency
10%
portes grátis
135,18€ 121,66€
Springer International Publishing AG
Logic And Fixed-Domain Reasoning
10%
portes grátis
175,73€ 158,16€
Springer International Publishing AG
Natural Deduction, Hybrid Systems And Modal Logics
ISBN:
9789048187843
Ano de edição:
06-2010
Editor:
SPRINGER
Idioma:
Inglês
Encadernação:
Capa dura
Páginas:
492
Tipo de Produto:
Livro
EAN:
9789048187843
X
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.