Til hovedinnhold
Norli Bokhandel
Favoritter
Hjem/Bøker

Sequents and Trees - An Introduction to the Theory and Applications of Propositional Sequent Calculi

Andrzej Indrzejczak
2021, Heftet, Engelsk
Sequents and Trees

589,-

Bestillingsvare – sendes normalt innen 10-14 virkedager
  • Gratis frakt på ordre fra 299,-
  • Bytt i 200 butikker
  • Ikke tilgjengelig for hent i butikk
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.

Produktegenskaper

  • Forfatter

    Andrzej Indrzejczak

  • Bidragsyter

    Indrzejczak, Andrzej (Forfatter)

  • Forlag/utgiver

    Springer Nature Switzerland AG

  • Format

    Heftet

  • Språk

    Engelsk

  • Utgivelsesår

    2021

  • Antall sider

    345

  • Varenummer

    9783030571474

Kundeanmeldelser

Frakt og levering