Yacine Aggoune

Identifiers

Open LibraryOL12455120A

Books by Yacine Aggoune

Total count: 1

Introduction a la Theorie de la DemonstrationElimination des Coupures, Normalisation et Preuves de Coherence

Vrin, Librairie Philosophique J.2022-01-01