Katalin Bimbo

partilhar

Em destaque VER +

Proof Theory

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, this book presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from

bibliografia

formato
Livro
eBook

ordenação
Data Edição
Ranking

20%

portes grátis

20% Cartão Leitor Bertrand

81,10€

Poupe 16,22€

Proof Theory

de Katalin Bimbo

TAYLOR & FRANCIS LTD

20%

portes grátis

20% Cartão Leitor Bertrand

162,23€

Poupe 32,45€

Proof Theory

de Katalin Bimbo

TAYLOR & FRANCIS INC

40,56€

Generalized Galois Logics

de J. Michael Dunn e Katalin Bimbo

CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION

86,52€

Generalized Galois Logics

de J. Michael Dunn e Katalin Bimbo

CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION

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.