30% de desconto

Proof Theory

Sequent Calculi And Related Formalisms

de Katalin Bimbo
idioma: inglês
Editor: TAYLOR & FRANCIS LTD, outubro de 2024 ‧
81,10€
56,77€
30% DESCONTO IMEDIATO
portes grátis
Venda o seu livro
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

Proof Theory

Sequent Calculi And Related Formalisms

de Katalin Bimbo

Propriedade Descrição
ISBN: 9781032920771
Editor: TAYLOR & FRANCIS LTD
Data de Lançamento: outubro de 2024
Idioma: Inglês
Dimensões: 156 x 234 x 20 mm
Encadernação: Capa mole
Páginas: 386
Tipo de produto: Livro
Coleção: Discrete Mathematics And Its Applications
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
Livros em Inglês > Ciências Sociais e Humanas > Filosofia
Livros em Inglês > Outros
EAN: 9781032920771