Rosenberg 1970 classification of maximal clones on finite set: 6 types + Sheffer functions; Post 1941 lattice of clones on {0,1}; basis of UA + theoretical-CS.
Rosenberg 1970 classification of maximal clones on finite set: 6 types + Sheffer functions; Post 1941 lattice of clones on {0,1}; basis of UA + theoretical-CS.