Matemática

Proof Theory

Sequent Calculi And Related Formalisms

de Katalin Bimbo 

eBook
Proof Theory
idioma: Inglês
Editor: CRC PRESS
Edição: agosto de 2014
Formatos Disponíveis:
Livro eBook
10%
79,49€
Poupe 7,95€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

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, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi

Da mesma coleção

ver +
Handbook Of Combinatorial Algebraic Geometry
20%
portes grátis
20% Cartão Leitor Bertrand
310,93€
Poupe 62,19€
TAYLOR & FRANCIS LTD
Introduction To Enumerative And Analytic Combinatorics
10%
128,51€ 115,66€
CRC PRESS
eBook
Proof Theory
Sequent Calculi And Related Formalisms
de Katalin Bimbo 
ISBN:
9781040058978
Ano de edição:
08-2014
Editor:
CRC PRESS
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Discrete Mathematics And Its Applications
Formato:
ePUB para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Ciências Exatas e Naturais  >  Matemática

eBooks  >  eBooks em Inglês  >  Ciências Sociais e Humanas  >  Filosofia

EAN:
9781040058978
Acessibilidade:
Ver caracteristicas de acessibilidade indicadas pelo editor
Proof Theory
20%
portes grátis
20% Cartão Leitor Bertrand
81,10€
Poupe 16,22€
TAYLOR & FRANCIS LTD
Proof Theory
20%
portes grátis
20% Cartão Leitor Bertrand
162,23€
Poupe 32,45€
TAYLOR & FRANCIS INC
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.