Introduction a la Theorie de la Demonstration: Elimination Des Coupures, Normalisation Et Preuves de Coherence [French]

by Sergio Galvan

Cet ouvrage offre une introduction accessible a la theorie de la demonstration: il donne les details des preuves et comporte de nombreux exemples et exercices pour faciliter la comprehension des lecteurs. Il est egalement concu pour servir d'aide a la lecture des articles fondateurs de Gerhard Gentzen. L'ouvrage introduit egalement aux trois principaux formalismes en usage: l'approche axiomatique des preuves, la deduction naturelle et le calcul des...

• Format: Paperback
• Language: French
• ISBN: 2711630919
• ISBN13: 9782711630912
• Release Date: December 2022
• Publisher: Librarie Philosophique J. Vrin
• Length: 588 Pages
• Weight: 0.74 lbs.