20% de desconto

Methods Of Cut-Elimination eBook

de Matthias Baaz e Alexander Leitsch
idioma: inglês
Editor: SPRINGER NETHERLANDS, Janeiro de 2011 ‧
118,59€
94,87€
20% DESCONTO IMEDIATO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
DOMINGO DIGITAL – VER MAIS ARTIGOS EM PROMOÇÃO
This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics.

Methods Of Cut-Elimination

de Matthias Baaz e Alexander Leitsch

Propriedade Descrição
ISBN: 9789400703209
Editor: SPRINGER NETHERLANDS
Data de Lançamento: Janeiro de 2011
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Coleção: Trends In Logic
Classificação Temática: eBooks em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9789400703209

LIVROS DA MESMA COLEÇÃO