Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
Produktbild: Proof Theory

Proof Theory Sequent Calculi and Related Formalisms

Fr. 104.00

inkl. gesetzl. MwSt., Versandkostenfrei

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.10.2024

Verlag

Taylor & Francis

Seitenzahl

386

Maße (L/B/H)

23.4/15.9/2.5 cm

Gewicht

586 g

Sprache

Englisch

ISBN

978-1-03-292077-1

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.10.2024

Verlag

Taylor & Francis

Seitenzahl

386

Maße (L/B/H)

23.4/15.9/2.5 cm

Gewicht

586 g

Sprache

Englisch

ISBN

978-1-03-292077-1

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
Die Leseprobe wird geladen.
  • Produktbild: Proof Theory

  • Proofs and Proof Theory. Classical First-Order Logic. Variants of the First Sequent Calculi. Sequent Calculi for Non-Classical Logics. Consecution Calculi for Non-Classical Logics. Display Calculi and Hypersequents. Cut Rules and Cut Theorems. Some Other Proof Systems. Applications and Applied Calculi. Appendix. Bibliography. Index.