Verze z 24. 12. 2018, 12:56 editovat Matěj Orlický (diskuse \| příspěvky) Prověření uživatelé, Patroláři, Revertéři 32 541 editací m Cat-a-lot: přesunuto do Matematická logika ← Přejít na předchozí porovnání		Verze z 28. 2. 2019, 09:30 editovat zrušit editaci JAnDbot (diskuse \| příspěvky) Roboti 1 711 609 editací m Robot: přidáno {{Autoritní data}} Přejít na další porovnání →
Řádek 108: * [[Kombinatorická logika]] * [[Teorie typů]] {{Autoritní data}} [[Kategorie:Vyčíslitelnost]]

Lambda kalkul: Porovnání verzí