Tallenna
Proof Theory
Lue Adobe DRM-yhteensopivassa e-kirjojen lukuohjelmassaTämä e-kirja on kopiosuojattu Adobe DRM:llä, mikä vaikuttaa siihen, millä alustalla voit lukea kirjaa. Lue lisää
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
- Alaotsikko
- Sequent Calculi and Related Formalisms
- Kirjailija
- Katalin Bimbo
- ISBN
- 9781040058978
- Kieli
- englanti
- Julkaisupäivä
- 20.8.2014
- Kustantaja
- CRC PRESS
- Formaatti
- Epub - Adobe DRM
- Lue e-kirjoja täällä
- Lue e-kirja mobiililaitteella/tabletilla
- Lukulaite
- Tietokone
