Kategorio:Logiko en komputiko
Subkategorioj
Ĉi tiu kategorio havas la 2 jenajn subkategoriojn, el 2 entute.
L
- Lambda-kalkulo (2 P)
T
- Teorio de tipoj (2 P)
Paĝoj en kategorio “Logiko en komputiko”
La jenaj 2 paĝoj estas en ĉi tiu kategorio, el 2 entute.