Sequents and Trees: An Introduction to the Theory and Applications of Propositional S... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Filosofi: logik
  5. Matematisk 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, Paperback / softback, Engelsk)
Forfatter: Andrzej Indrzejczak
Forlag: Springer Nature Switzerland AG

Bemærk: Kan ikke 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 Paperback / softback
Sprog Engelsk
Udgave 2021 ed.
Udgivelsesdato 18-12-2021
Første udgivelsesår 2021
Serie Studies in Universal Logic
Illustrationer 1 Illustrations, color; 14 Illustrations, black and white
Originalsprog Switzerland
Sideantal 345
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 345 pages, 1 Illustrations, color; 14 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783030571474