10% de desconto

Proof Theory eBook

Sequent Calculi And Related Formalisms

de Katalin Bimbo
Livro eBook
idioma: inglês
Editor: CRC PRESS, agosto de 2014 ‧
79,49€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para 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

Proof Theory

Sequent Calculi And Related Formalisms

de Katalin Bimbo

Propriedade Descrição
ISBN: 9781040058978
Editor: CRC PRESS
Data de Lançamento: agosto de 2014
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade:
Coleção: Discrete Mathematics And Its Applications
Classificação Temática: eBooks em Inglês > Ciências Exatas e Naturais > Matemática
eBooks em Inglês > Ciências Sociais e Humanas > Filosofia
EAN: 9781040058978
Acessibilidade: Ver características de acessibilidade indicadas pelo editor