Filosofia

Sequents And Trees

An Introduction To The Theory And Applications Of Propositional Sequent Calculi

de Andrzej Indrzejczak 

eBook
Bertrand.pt - Sequents And Trees
idioma: Inglês
Editor: Springer International Publishing
Edição: dezembro de 2020
10%
59,61€
Poupe 5,96€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.

Da mesma coleção

ver +
Universal Logic, Ethics, And Truth
20%
portes grátis
20% Cartão Leitor Bertrand
133,84€
Poupe 26,77€
BIRKHAUSER VERLAG AG
Institution-Independent Model Theory
20%
portes grátis
20% Cartão Leitor Bertrand
162,21€
Poupe 32,44€
BIRKHAUSER VERLAG AG
Sequents And Trees
An Introduction To The Theory And Applications Of Propositional Sequent Calculi
de Andrzej Indrzejczak 
ISBN:
9783030571450
Ano de edição:
12-2020
Editor:
Springer International Publishing
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Studies In Universal Logic
Formato:
ePUB para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Ciências Sociais e Humanas  >  Filosofia

EAN:
9783030571450
Acessibilidade:
Ver caracteristicas de acessibilidade indicadas pelo editor
Sequents And Trees
20%
portes grátis
20% Cartão Leitor Bertrand
44,60€
Poupe 8,92€
Springer Nature Switzerland AG
Sequents And Trees
20%
portes grátis
20% Cartão Leitor Bertrand
74,34€
Poupe 14,87€
Springer Nature Switzerland AG
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.