Digital Sunday See more items on sale
Capa do artigo Methods Of Cut-Elimination
20% OFF

Methods Of Cut-Elimination eBook

by Matthias Baaz e Alexander Leitsch
language: english
Publisher: SPRINGER NETHERLANDS, January of 2011 ‧
118,59€
94,87€
20% OFF
IMMEDIATE AVAILABILITY
Ebook for ADE
DIGITAL SUNDAY SEE MORE ITEMS ON SALE
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

by Matthias Baaz e Alexander Leitsch

Property Description
ISBN: 9789400703209
Publisher: SPRINGER NETHERLANDS
Release Date: January of 2011
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: Trends In Logic
Categories: eBooks in English > Science > Mathematics
EAN: 9789400703209

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION