• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Gentzen Calculi for Modal Propositional Logic

Gentzen Calculi for Modal Propositional Logic

Hardcover

Series: Trends in Logic, Book 32

PhilosophyGeneral ComputersGeneral Mathematics

ISBN10: 9048196698
ISBN13: 9789048196692
Publisher: Springer Nature
Published: Dec 2 2010
Pages: 224
Weight: 1.12
Height: 0.56 Width: 6.14 Depth: 9.21
Language: English
PartI An overview of the sequent calcus.- PartII, Sequent caluli for modal logic.- Part III, Tree-hyperseqent calculi.- Reference.- Symbols and notations.- Index.

Also in

Philosophy