Curryho–Howardův isomorfismus: Historie verzí
Skočit na navigaci
Skočit na vyhledávání
Výběr rozdílu: Vyberte přepínače u revizí, které chcete porovnat, a stiskněte enter nebo tlačítko dole.
Legenda: (teď) = rozdíly oproti nynější verzi, (předchozí) = rozdíly oproti předchozí verzi, m = malá editace