Siirry suoraan sisältöön
  1. Kirjat
  2. Englanninkieliset kirjat

Discrete Mathematics and Its Applications

107,90 €

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

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