Teorio
Godel-teorio
Ludo-teorio
Celulala teorio
Kordo-teorio
Informo-teorio
Teorio di nombri
Unionita feldo-teorio
Teorio di komputebleso
Teorio di superkordi
Teorio di despersuado
Teorio pri sistemi
Teorio pri la Prima Explozo
Decido-teorio
Teorio di automati
Teorio di yuro
Ensemblo-teorio
Komplemento (ensemblo-teorio)
Teorio di komputado
Teorio di programifo-lingui
Ringo (ensemblo-teorio)
Interseko (ensemblo-teorio)