Sequents and Trees: An Introduction to the Theory and Applications of Propositional S... (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Filosofi: logik
  6. Matematikkens filosofi
  7. Sequents and Trees: An Introduction to the Theory and...

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

(Bog, Hardback, Engelsk)
Forfatter: Andrzej Indrzejczak
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
Forlag: Springer Nature Switzerland AG

Bemærk: Kan leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Filosofi: logik Matematikkens filosofi Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Forfatter Andrzej Indrzejczak
Type Bog
Format Hardback
Sprog Engelsk
Udgave 2021 ed.
Udgivelsesdato 17-12-2020
Første udgivelsesår 2020
Serie Studies in Universal Logic
Illustrationer 1 Illustrations, color; 14 Illustrations, black and white
Originalsprog Switzerland
Sideantal 345
Indbinding Hardback
Forlag Springer Nature Switzerland AG
Sideoplysninger 345 pages, 1 Illustrations, color; 14 Illustrations, black and white
Mål 161 x 242 x 29
ISBN-13 / EAN-13 9783030571443