3 works on record
Introduction a la Theorie de la Demonstration
2022
Introduction to Proof Theory
Lira de Lucy