Introduction a la Theorie de la Demonstration
Subtitle: Elimination des Coupures, Normalisation et Preuves de Coherence
Publisher: Vrin, Librairie Philosophique J.
Published: 2022
Language: fre
ISBN-13: 9782711630912