Sequents and Trees, 1st ed. 2021 An Introduction to the Theory and Applications of Propositional Sequent Calculi Studies in Universal Logic Series
Auteur : Indrzejczak Andrzej
Considers the methodology and techniques of sequent calculus to illustrate its use in proving a wide range of metatheoretical results
Includes many results and their proofs that are often not well known or easily accessible
Examines important and nonstandard generalized sequent calculi, like hypersequent and structured sequent calculi.
Date de parution : 12-2021
Ouvrage de 345 p.
15.5x23.5 cm
Date de parution : 12-2020
Ouvrage de 345 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 68,56 €
Ajouter au panier