Til hovedinnhold
Norli Bokhandel

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

2020, Innbundet, Engelsk

749,-

På fjernlager – sendes innen 6-12 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

  • Bidragsyter

    Indrzejczak, Andrzej (Forfatter)
  • Forlag/utgiver

    Springer Nature Switzerland AG
  • Format

    Innbundet
  • Språk

    Engelsk
  • Utgivelsesår

    2020
  • Antall sider

    345
  • Serienavn

    Studies in Universal Logic
  • EAN

    9783030571443

Kundeanmeldelser

Frakt og levering