Sergio GalvanBooksIntroduction a la Theorie de la DemonstrationIntroduction to Proof TheoryLira de LucyAuthor data: Open Library