Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Wissenschaft
  5. Sequents and Trees

Sequents and Trees

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

von Andrzej Indrzejczak

enthalten in Studies in Universal Logic-Reihe

Sequents and Trees von Andrzej Indrzejczak Sie sparen 11% des UVP sparen 11%
Über Sequents and Trees

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783030571443
  • Einband:
  • Gebundene Ausgabe
  • Seitenzahl:
  • 345
  • Veröffentlicht:
  • 17. Dezember 2020
  • Ausgabe:
  • 12021
  • Abmessungen:
  • 242x161x29 mm.
  • Gewicht:
  • 682 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.
Verlängerte Rückgabefrist bis 31. Januar 2025
  •  

    Keine Lieferung vor Weihnachten möglich.
    Kaufen Sie jetzt und drucken Sie einen Gutschein aus

Über Andrzej Indrzejczak

Alle Bücher von Andrzej Indrzejczak anzeigen

Beschreibung von Sequents and Trees

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.

Kund*innenbewertungen von Sequents and Trees



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Sequents and Trees ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.