Regles Admissibles en calcul propositionnel intuitionniste (1992)

by P Rozière