Accueil Publimath  Aide à la recherche  Requête : "séquent de Gentzen"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
2 fiches trouvées

12022 Introduction à la théorie de la démonstration.
22003 Quadrature. N° 49. p. 13-22. Les limites de la correspondance preuve/programme.Ressource en ligne