Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 9.99 €
Shopping guide
My account
▸
Empty :-(
0
Language
English
English
E-book
Adobe ePub DRM
Although sequent calculi constitute an important category of proof systems, they are not as well kno...
Full description
Libristo code: 45153399
?
204 b
204 b
84.46
€
In stock
Immediate digital delivery
Customers also purchased
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
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Proof Theory
Author
Katalin Bimbo
Language
English
English
Binding
E-book - Adobe ePub DRM
Date of issue
2014
Number of pages
386
EAN
9781040058978
Libristo code
45153399
Publishers
Chapman and Hall/CRC
Categories
