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

Image for Sequents and Trees - An Introduction to the Theory and Applications of Propositional Sequent Calculi from emkaSi
+ / - Hover over image to Zoom
Other Views

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

    Trda - 17. dec 2020
    ( 0 )
    ISBN/EAN:P_9783030571443
    Redna cena: 76,49 €

    This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. 345 pages, 1 Illustrations, color; 14 Illustrations, black and white; XVI, 345 p. 15 illus., 1 illus

    SkrijPoglej več
    Deli:
    - 1 + 76,49 €
    Predviden rok dobave: 7 - 10 dni
    Dodaj v košarico

    Opis

    This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. 345 pages, 1 Illustrations, color; 14 Illustrations, black and white; XVI, 345 p. 15 illus., 1 illus

    Podrobnosti o izdelku

    Mnenja kupcev

    Povprečna ocena kupcev:

    (0)
    (0)
    (0)
    (0)
    (0)
    ( 0 )

    Komentarji