Term Logic with Choice Operator door Hans Hermes