Matematisk logikk (symbolsk logikk)
Norsk WebDewey
Maskinteori--matematikk
Petrinett
Automater--matematikk
Lambdakalkyle
Turingmaskiner
Cellulære automater
Sekvensielle maskiner
Cellulære automater--matematikk
Maskinteori
Automatteori
Rekursjonsteori
Rekursive funksjoner