30% OFF

Proof Theory

Sequent Calculi And Related Formalisms

by Katalin Bimbo
language: english
Publisher: TAYLOR & FRANCIS LTD, October of 2024 ‧
81,10€
56,77€
30% OFF
free shipping
Sell ​​your book
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

by Katalin Bimbo

Property Description
ISBN: 9781032920771
Publisher: TAYLOR & FRANCIS LTD
Release Date: October of 2024
Language: English
Dimensions: 156 x 234 x 20 mm
Cover: Softcover
Pages: 386
Format: Book
Collection: Discrete Mathematics And Its Applications
Categories: Books in English > Science > Mathematics
Books in English > Social Sciences and Humanities > Philosophy
Books in English > Others
EAN: 9781032920771