  In 1932, G\"odel proved that there is no finite semantics for intuitionistic
logic. We consider all fragments of intuitionistic logic and check in each case
whether a finite semantics exists. We may fulfill a didactic goal, as little
logic and algebra are presupposed.
