Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Proof Theory

Name: Proof Theory
Brand: Chapman and Hall/CRC
SKU: 45153399
Price: 29625 HUF
Availability: InStock
Author: Katalin Bimbo
ISBN: 9781040058978

Sequent Calculi and Related Formalisms

Katalin Bimbo

Language

English

E-book Adobe ePub DRM

Publishers Chapman and Hall/CRC, August 2014

Although sequent calculi constitute an important category of proof systems, they are not as well kno... Full description

Libristo code: 45153399

203 b

29 625 Ft

In stock Immediate digital delivery

Customers also purchased

Seine Grossen Erfolge Auf Der Zither Anton Karas

Audio CD

4 174 Ft

How Why How We Do Anythink Means Everythink Dov Seidman

Paperback

11 487 Ft

Bransoleta z granatów Aleksander Kuprin

Adobe ePub DRM

1 418 Ft

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