Verze z 21. 5. 2008, 22:23 editovat 193.84.36.226 (diskuse) →‎Teoretické využití ← Přejít na předchozí porovnání		Verze z 22. 6. 2008, 23:45 editovat zrušit editaci JAnDbot (diskuse \| příspěvky) Roboti 1 711 609 editací m Robot automaticky nahradil text: (-pahýl část +Pahýl - část) Přejít na další porovnání →
Řádek 85: :''TPQ ≡ (λxy . x) PQ = P'' (resp. ''FPQ = Q'') {{~~pahýl~~Pahýl - část}} == Teoretické využití ==

Lambda kalkul: Porovnání verzí