Term Logic with Choice Operator - Hans Hermes - E-bok | Bokus