Nature et logique de G. Gentzen `a JY. Girard
Documents pareils
HISTOIRE - Le Zéro et Un - Histoire de la notion scientifique d
choix effectifs de ces signes, et pi les probabilités correspondantes, selon la loi induite par leur répartition initiale dans le code utilisé pour constituer les messages.
L’intervention du loga...