10% OFF

Proof Theory eBook

Sequent Calculi And Related Formalisms

by Katalin Bimbo
Book eBook
language: english
Publisher: CRC PRESS, August of 2014 ‧
79,49€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for 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

by Katalin Bimbo

Property Description
ISBN: 9781040058978
Publisher: CRC PRESS
Release Date: August of 2014
Language: English
Format: eBook
File Format and Compatibility:
Collection: Discrete Mathematics And Its Applications
Categories: eBooks in English > Science > Mathematics
eBooks in English > Social Sciences and Humanities > Philosophy
EAN: 9781040058978
Acessibilidade: Ver características de acessibilidade indicadas pelo editor