A theory of the learnable
A complexity theory based on Boolean algebra