Lambda kalkul: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot: typografické a kódové korekce a náhrady přesměrování podle specifikace |
m robot přidal: bn:ল্যাম্ডা ক্যালকুলাস |
||
Řádek 100:
[[Kategorie:Logika]]
[[bn:ল্যাম্ডা ক্যালকুলাস]]
[[ca:Càlcul lambda]]
[[de:Lambda-Kalkül]]
|