Vi bøger
Levering: 1 - 2 hverdage
Forlænget returret til d. 31. januar 2025

Gentzen Calculi for Modal Propositional Logic - Francesca Poggiolesi - Bog

Bag om Gentzen Calculi for Modal Propositional Logic

The book is about Gentzen calculi for (the main systems of) modal logic. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9789048196692
  • Indbinding:
  • Hardback
  • Sideantal:
  • 224
  • Udgivet:
  • 2. december 2010
  • Størrelse:
  • 181x247x21 mm.
  • Vægt:
  • 672 g.
  • 8-11 hverdage.
  • 16. januar 2025
Forlænget returret til d. 31. januar 2025
  •  

    Kan ikke leveres inden jul.
    Køb nu og print et gavebevis

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Gentzen Calculi for Modal Propositional Logic

The book is about Gentzen calculi for (the main systems of) modal logic. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author.

Brugerbedømmelser af Gentzen Calculi for Modal Propositional Logic



Find lignende bøger
Bogen Gentzen Calculi for Modal Propositional Logic findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.