Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi
Payez facilement par carte, Klarna, Apple Pay ou Google Pay. Pas satisfait ? Vous avez toujours une garantie de remboursement de 14 jours. En savoir plus dans nos conditions. Si vous avez des questions, envoyez-nous un e-mail à hello@memmo.org.
Memmo facilite tes études, où que tu sois dans le monde. On rassemble tes manuels de cours et des outils d'étude intelligents au même endroit : résumés, quiz, podcasts et flashcards. Et il y a Ted, ton compagnon d'étude qui répond à toutes tes questions. Plus de 50 000 étudiants étudient déjà ici – conçu pour t'aider à apprendre plus vite et à moins stresser.
Tu pourrais aussi aimer
Acheter le livre0