8 - Lectures : Jean-Yves Girard 1/3, Qu'est-ce qu'une réponse ? (l'analytique)

Поделиться
HTML-код
  • Опубликовано: 27 окт 2024
  • IHP thematic trimester : Semantics of proofs and certified mathematics
    24/04/2014

Комментарии •