previous up next contents
Précédent : Le partage et Remonter : Preuve Suivant : Théorie de la

Théorie de la démonstration et ordinaux

Participants : Adam Cichon, Hélène Touzet, Andreas Weiermann, Sohame Selhab

Mots clefs : réécriture, logique