Le contenu computationnel des preuves: No-counterexample interpretation et spécification des théorèmes de l’arithmétique (2002)

Cached

Download Links

by Denis Bonnay