Login
From:
Richard Zach
(Uncensored)
subscribe
Introduction à la théorie de la démonstration: Élimination des coupures, normalisation et preuves de cohérence – Richard Zach
https://richardzach.org/2022/12/introduction-a-la-theorie-de-la-demonstration-elimination-des-coupures-normalisation-et-preuves-de-coherence/
links
backlinks
Tagged with:
publications
Mancosu, Paolo, Sergio Galvan, and Richard Zach. 2022. Introduction à la théorie de la démonstration: Élimination des coupures, normalisation et preuves de cohérence. Paris: Vrin. Traduction frança…
Roast topics
Find topics
Find it!
